Journals

1. SILVA, E. B. S; MILANEZ, A. F. GymFast: Protótipo de Aplicativo que Busca Conectar Pessoas Ligadas a Atividades Físicas. Revista Interdisciplinar Científica Aplicada, Joinville/SC, V.18, nº 4, p.15-35. TRI IV2024. ISSN 1980-7031.

2. Filho, R. U. H., Ramos, A. C. D., Sousa, I. M. S. F. de, Maia, D. C. M., & Milanez, A. F. (2025). Uso de tecnologias no-code na criação de um mapa interativo para o IFPB campus Campina Grande. OBSERVATÓRIO DE LA ECONOMÍA LATINOAMERICANA, 23(1), e8648. https://doi.org/10.55905/oelv23n1-112 

3. SILVA, F. F. N.; MILANEZ, A. F. Automatizando processos com o Django-Full-CRUD. Revista de Sistemas e Computação, v. 14, nº 2, 2024, ISSN 2237-2903.

4. SILVA, N. V. M da; MILANEZ, A. F. CosmeTech: protótipo para o gerenciamento de pequenos negócios de cosméticos. Revista de Sistemas e Computação, v. 14, nº 2, 2024, ISSN 2237-2903.

5. LOPES, P.; MILANEZ, A. F. Explorando a Corrida Espacial da Guerra Fria por meio de uma Aplicação Web: Uma Experiência Audiovisual. Informática na educação: teoria & prática, Porto Alegre, v. 27, n. 2, 2024. DOI: 10.22491/1982-1654.140929. Disponível em: https://seer.ufrgs.br/index.php/InfEducTeoriaPratica/article/view/140929 

6. SILVA, V.; MILANEZ, A. F. Denário: um protótipo de aplicativo para educação financeira. Revista de Sistemas e Computação, v. 14, nº 2, 2024, ISSN 2237-2903.

7. MARQUES, C. A. N.; SILVA, M. A. F. da; ANDRADE, J. L. S. de; MILANEZ, A. F. Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo. Revista Principia, [S. l.], v. 62, 2025. DOI: 10.18265/2447-9187a2024id8404. Disponível em: https://periodicos.ifpb.edu.br/index.php/principia/article/view/8404.

8. SANTOS, S. M.; FREIRE, L. de P.; MAIA, D. C. M.; LOPES, K. R.; MILANEZ, A. F.. Análise da viabilidade de implementação de um smart campus na Universidade Federal Rural do Semi-Árido, câmpus Pau dos Ferros, Brasil. Revista Principia - Divulgação Científica e Tecnológica do IFPB, João Pessoa, jul. 2024. ISSN 2447-9187. Disponível em: https://periodicos.ifpb.edu.br/index.php/principia/article/view/8447. doi:http://dx.doi.org/10.18265/2447-9187a2024id8447.

9. LUIZ, E.; PINHEIRO, A. G. P.; MILANEZ, A. F.; SILVA, M. A. F. da; SILVA, P. H. A. da. GameTest: Um jogo para praticar teste de software . Informática na educação: teoria & prática, Porto Alegre, v. 27, n. 1, 2024. DOI: 10.22491/1982-1654.138735. Disponível em: https://seer.ufrgs.br/index.php/InfEducTeoriaPratica/article/view/138735.

10. DA SILVA, M. H. M.; MILANEZ, A. F. SMART MENU: PROTÓTIPO DE APLICATIVO PARA GERENCIAMENTO DIGITAL DE CARDÁPIOS. RECIMA21 - REVISTA CIENTÍFICA MULTIDISCIPLINAR, abr. 2024. DOI: https://doi.org/10.47820/recima21.v5i4.5120. 

11. FREIRE, L. de P.; SANTOS, S. M.; RAMOS, A. C. D.; MILANEZ, A. F.; LOPES, K. R.; MAIA, D. C. M. Gestão da informação no contexto de smart campus: uma revisão sistemática da literatura. Revista Principia - Divulgação Científica e Tecnológica do IFPB, João Pessoa, out. 2023. ISSN 2447-9187. Disponível em: https://periodicos.ifpb.edu.br/index.php/principia/article/view/7835. doi:http://dx.doi.org/10.18265/2447-9187a2022id7835.

12. LIMA, B. W. da S.; SILVA, V.; DE LIMA, L. B. M.; ANDRADE, D. L. A.; DE SOUSA, R. R.; MILANEZ, A. F. DW RIDES: UMA PROPOSTA DE SISTEMA PARA CARONAS COLETIVAS. CONTEMPORÂNEA - REVISTA DE ÉTICA E FILOSOFIA POLÍTICA. , v.3, p.17637 - 17659, 2023.

13. FONTES, R. J. L.; MILANEZ, A. F. Avaliação da experiência do usuário no mundo dos jogos: uma revisão sistemática da literatura. Brazilian Journal of Development. , v.9, p.1779 - 1798, 2023.

14. SILVA, M. A. da; NASCIMENTO, S. M.; MILANEZ, A. F. SOFTCMMI: Um Protótipo para Auxiliar Empresas de Micro e Pequeno Porte (MPEs) a Implementarem o CMMI-DEV. Journal of Perspectives in Management (JPM), v. 6, p. 71-87, 2022.

15. PINHEIRO, A. G. P.; PEREIRA, E. L. L.; SILVA, P. H. A. da; SILVA, M. A. F. da; MILANEZ, A. F. Avaliando a usabilidade do GameTest: um jogo educacional para o ensino de Teste de Software. CONJECTURAS, v.2022, p.110 - 124, 2022.

16. CARVALHO, A. R. F.; MILANEZ, A. F. Protótipo para interação entre alunos e professores em disciplinas de programação. Brazilian Journal of Development. , v.8, p.77971 - 77992, 2022. 

17. LIMA, E. B. de; MILANEZ, A. F. Fy Maria: um protótipo de sistema que auxilia o processo de apresentação de provas. CONJECTURAS. , v.22, p.663 - 682, 2022. https://doi.org/10.53660/CONJ-2016-2S60

18. NASCIMENTO, I. S. C. do;  MILANEZ, A. F. (2022). Habilitação quiz: um jogo para auxiliar os estudos para a prova teórica de obtenção da CNH. Brazilian Journal of Development, 8(11), 71795–71810. https://doi.org/10.34117/bjdv8n11-071. 

19. SILVA, M. A. F. da; PINHEIRO, A. G. P.; SILVA, P. H. A. da; MILANEZ, A. F. . (2022). GameTest: Um protótipo de jogo para apoiar o ensino-aprendizagem de Teste de Software. Conjecturas, 22(6), 679–703. https://doi.org/10.53660/CONJ-1104-R14.

Conferences and Workshops

1. SILVA, Álisson Leandro de Souza; MAIA, David Candeia Medeiros; MILANEZ, Alysson Filgueira; MEDEIROS, Kláudio Henrique Mascarenhas. Exploradores do Código: Gamificando o Processo de Aprender a Programar em uma Plataforma Web. In: TRILHA DE EDUCAÇÃO – ARTIGOS CURTOS - SIMPÓSIO BRASILEIRO DE JOGOS E ENTRETENIMENTO DIGITAL (SBGAMES), 14. , 2025, Salvador/BA. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2025 . p. 159-165. DOI: https://doi.org/10.5753/sbgames_estendido.2025.10212.

2. FARIAS, P. V. G.; MAIA, D. C. M.; MILANEZ, A. F. Um Estudo sobre Análise de Dados para Gestão da Evasão de Alunos. In: V Simpósio de Pesquisa, Inovação e Pós-Graduação do Instituto Federal de Educação, Ciência e Tecnologia da Paraíba, 2023, João Pessoa. Anais do V Simpósio de Pesquisa, Inovação e Pós-Graduação do Instituto Federal de Educação, Ciência e Tecnologia da Paraíba, 22 a 24 de novembro de 2023.

3. LUCENA, A. A. de; SILVA, C. E. L.; COSTA, G. D. D.; MAIA, D. C. M.; MILANEZ; A. F. Aprimorando um Sistema de Gestão Colaborativa para uma Instituição Federal de Ensino. In: Anais do V Encontro de Computação do Oeste Potiguar - ECOP, 2023.

4. SILVA, M. A. F. da; NASCIMENTO, S. M.;  MILANEZ, A. F. SOFTCMMI: Uma Proposta de Protótipo para Auxiliar Empresas de Micro e Pequeno Porte (MPES) a implementarem o CMMI. In: III Congresso Brasileiro Interdisciplinar em Ciência e Tecnologia, 2022.

5. MILANEZ, L. K. F.; MAIA, D. C. M.; MILANEZ, A. F. Protótipo de Sistema de Gestão Colaborativa para uma Instituição de Ensino. In: Anais Estendidos do XVIII Simpósio Brasileiro de Sistemas de Informação, 2022.

6. MILANEZ, A. F.; MASSONI, T. L.; GHEYI, R.. Detecting and Classifying Nonconformances in Code Contracts with CONTRACTOK. In: Anais do II ECOP - Pocket, 2021

7. MILANEZ, A. F.; ATAÍDE, I. N. S.; MASSONI, T. L.. Investigating the Use of JML Contracts. In: Anais do II Encontro de Computação do Oeste Potiguar, ECOP - Pocket, 2021

8. MILANEZ, L. K. F.; MAIA, D. C. M.; MILANEZ, A. F..  Analisando uma Rua com Crowdsourcing. In: Anais do II ECOP - Pocket, 2021

9. DE BRITO, T. R. T.; MAIA, D. C. M.; MILANEZ, A. F. Rede Social: Seus Impactos na Comunicação. In: Anais do II ECOP - Pocket, 2021

10. SOUZA, I. B. de O.; MILANEZ, A. F. Investigando o uso da Tecnologia Assistiva no Âmbito Escolar. In: Anais do VI Congresso sobre Tecnologias na Educação (Ctrl+E 2021), 2021, p. 61 - 70.

11. PORTO, W. V. ; COSTA, R. A. V. ; SANTOS, K. F. ; MILANEZ, A. F. . Serviço web para verificação de conformidade de convenção de nomes em código fonte Java. In: III Simpósio de Pesquisa, Inovação e Pós-Graduação do Instituto Federal de Educação, Ciência e Tecnologia da Paraíba, 2020, João Pessoa. Anais do III Simpósio de Pesquisa, Inovação e Pós-Graduação do Instituto Federal de Educação, Ciência e Tecnologia da Paraíba, 27 a 29 de novembro de 2019. João Pessoa: EditoraIFPB, 2019. v. 1. p. 1306-1312.

12. MILANEZ, A.; LIMA, B.; FERREIRA, J.; MASSONI, T. Nonconformance between programs and contracts: a study on C#/code contracts open source systems. In: The 32nd ACM SIGAPP Symposium On Applied Computing, 2017. 

13. MILANEZ, A.; SOUSA, D.; MASSONI, T.; GHEYI, R.. JMLOK2: A tool for detecting and categorizing nonconformances. In: Sessão de Ferramentas do Congresso Brasileiro de Software: Teoria e Prática, 2014, Maceió.

14. MILANEZ, A. F. ; MASSONI, T. L. ; GHEYI, R. . Categorizing Nonconformances Between Programs and Their Specifications. In: Congresso Brasileiro de Software: Teoria e Prática, 2013, Brasília. 7th Brazilian Workshop on Systematic and Automated Software Testing, 2013.

15. MILANEZ, A. F. ; MASSONI, T. L. ; GHEYI, R. . Aprimorando a Verificação de Conformidade em Programas Utilizando a Metodologia Design by Contract. In: Congresso Brasileiro de Software: Teoria e Prática, 2013, Brasília. III Workshop de Teses e Dissertações do CBSOFT, 2013. v. 01. p. 23-28.

16. MILANEZ, A. F. ; CAVALCANTI, C. S. V. C. ; GOMES, H. M. ; QUEIROZ, J. E. R. . Algoritmos para a Diagramação de Álbuns Fotográficos. In: Proceedings on Sibgrapi 2011, 2011, Maceió. Workshop of Undergraduate Work, 2011.

17. MILANEZ, A. F. ; GOMES, H. M. ; CAVALCANTI, C. S. V. C.  Algoritmos Inteligentes para a Avaliação da Qualidade da Composição de uma Fotografia Digital. In: VII Congresso de Iniciação Científica da Universidade Federal de Campina Grande, 2010, Campina Grande.

Chapters

1. SOUZA, I. B. de O.; MILANEZ, A. F. Investigando o uso da Tecnologia Assistiva no Âmbito Escolar. In: Estudos Avançados em Educação, Volume 1. Editora Enterprising, 2022, p. 09 - 22.

Symposiums

1. MILANEZ, A. Analyzing Nonconformances in Contract-Based Programs. In: 25th edition of the Doctoral Symposium of the European Conference on Object-Oriented Programming, 2015, Prague.

Technical Reports

1. MILANEZ, A. F. A Survey on Nonconformance Classification by Java/JML Developers. Technical report, Software Practices Laboratory, Federal University of Campina Grande, November 2017.

2. MILANEZ, A. F. An exploratory study of techniques towards a classification approach for nonconformances. Technical report, Software Practices Laboratory, Federal University of Campina Grande, May 2016.

3. MILANEZ, A. F. A Baseline for Classifying Nonconformances in C#/Code Contracts Programs. Technical report, Software Practices Laboratory, Federal University of Campina Grande, May 2016.

4. MILANEZ; A. F. Suggesting Fixes for Nonconformances in Java/JML Programs. Technical report, Software Practices Laboratory, Federal University of Campina Grande, April 2016.

5. MILANEZ, A. F. A Case Study on Classifying Nonconformances in Java/JML Programs. Technical report, Software Practices Laboratory, Federal University of Campina Grande, November 2015.

6. MILANEZ, A. F. Manually Classifying Nonconformances in C#/Code Contracts. Technical report, Software Practices Laboratory, Federal University of Campina Grande, June 2015.

7. MILANEZ, A. F. Static Analysis of Programs: An Overview of the Main Approaches. Technical report, Software Practices Laboratory, Federal University of Campina Grande, April 2015.

8. MILANEZ, A. F; Sousa, I.. Investigating Conformance Checking in the Object-Oriented .NET Framework. Technical report, Software Practices Laboratory, Federal University of Campina Grande, November 2014.

9. MILANEZ, A. F. Case study on categorizing nonconformances. Technical report, Software Practices Laboratory, Federal University of Campina Grande, April 2014.

10. MILANEZ, A. F. Estado da arte em verificação baseada em contratos. Technical report, Software Practices Laboratory, Federal University of Campina Grande, May 2013.

Extended Abstracts

1. FONTES, R. J. L.; MILANEZ, A. F. Avaliando como a Experiência do Usuário tem sido aplicada a Jogos. In: VIII Semana de Ciência e Tecnologia - SECITEC - UFERSA - Campus Angicos, 2021.

2. MILANEZ, A.; MASSONI, T.; GHEYI, R.. Enhancing Conformance Checking for Contract-Based Programs. In: Companion of the Systems, Programming, Languages and Applications: Software for Humanity, 2014.

Abstracts

1. MILANEZ, A. F. ; MASSONI, T. L. ; GHEYI, R. . Aprimorando a Verificação de Conformidade em Programas Utilizando a Metodologia Design by Contract. In: Primeira Escola Latino America de Engenharia de Software, 2013, Rio de Janeiro. Primeira Escola Latino Americana de Engenharia de Software - ELA-ES, 2013. v. 2.

2. MILANEZ, A. F. ; QUEIROZ, J. E. R. . Algoritmos para a Diagramação de Álbuns Fotográficos. In: VIII Congresso de Iniciação Científica da Universidade Federal de Campina Grande, 2011, Campina Grande. VIII Congresso de Iniciação Científica da Universidade Federal de Campina Grande, 2011. v.1.