JMLOK2: A tool for detecting and categorizing nonconformances A Milanez, D Sousa, T Massoni, R Gheyi Congresso Brasileiro de Software: Teoria e Prática 2, 69-76, 0 | 11* | |
Categorizing nonconformances between programs and their specifications AF Milanez, TL Massoni, R Gheyi, C Grande-PB-Brazil Brazilian Workshop on Systematic and Automated Software Testing-CBSoft/SAST, 2013 | 7 | 2013 |
Fostering design by contract by exploiting the relationship between code commentary and contracts AF Milanez Universidade Federal de Campina Grande, 2018 | 3 | 2018 |
GameTest: Um protótipo de jogo para apoiar o ensino-aprendizagem de Teste de Software MAF da Silva, AGP Pinheiro, PHA da Silva, AF Milanez Conjecturas 22 (6), 679-703, 2022 | 2 | 2022 |
Enhancing Conformance Checking for Contract-Based Programs AF Milanez Universidade Federal de Campina Grande, 2014 | 2 | 2014 |
Protótipo de Sistema de Gestao Colaborativa para uma Instituiçao de Ensino LKF Milanez, DCM Maia, AF Milanez Anais Estendidos do XVIII Simpósio Brasileiro de Sistemas de Informaçao, 29-32, 2022 | 1 | 2022 |
Nonconformance between programs and contracts: a study on C#/code contracts open source systems A Milanez, B Lima, J Ferreira, T Massoni Proceedings of the Symposium on Applied Computing, 1219-1224, 2017 | 1 | 2017 |
Case study on categorizing nonconformances A Milanez Technical report, Software Practices Laboratory, Federal University of …, 2014 | 1 | 2014 |
SMART MENU: PROTÓTIPO DE APLICATIVO PARA GERENCIAMENTO DIGITAL DE CARDÁPIOS MHM da Silva, AF Milanez RECIMA21-Revista Científica Multidisciplinar-ISSN 2675-6218 5 (4), e545120 …, 2024 | | 2024 |
Avaliando a usabilidade do GameTest: um jogo educacional para o ensino de Teste de Software AGP Pinheiro, ELL Pereira, PHA da Silva, MAF da Silva, AF Milanez Conjecturas 24 (1), 110-124, 2024 | | 2024 |
Avaliação da experiência do usuário no mundo dos jogos: uma revisão sistemática da literatura: Evaluation of user experience in the world of games: a systematic literature review RJL Fontes, AF Milanez Brazilian Journal of Development 9 (1), 1779-1798, 2023 | | 2023 |
Protótipo para interação entre alunos e professores em disciplinas de programação: Prototype for interaction between students and teachers in programming subjects ARF de Carvalho, AF Milanez Brazilian Journal of Development 8 (12), 77971-77992, 2022 | | 2022 |
Fy Maria: um protótipo de sistema que auxilia o processo de apresentação de provas EB de Lima, AF Milanez CIS-Conjecturas Inter Studies 22 (16), 663-682, 2022 | | 2022 |
Habilitação quiz: um jogo para auxiliar os estudos para a prova teórica de obtenção da CNH: Habilitação quiz: a game to help you study for the theoretical test to obtain your … ISC do Nascimento, AF Milanez Brazilian Journal of Development 8 (11), 71795-71810, 2022 | | 2022 |
Aprimorando um Sistema de Gestao Colaborativa para uma Instituiçao Federal de Ensino AA de Lucena, CEL Silva, GDD Costa, DCM Maia, AF Milanez Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526 …, 2022 | | 2022 |
Investigando o uso da Tecnologia Assistiva no Âmbito Escolar IBO Souza, AF Milanez Anais do VI Congresso sobre Tecnologias na Educação, 61-70, 2021 | | 2021 |
Investigating the Use of JML Contracts AF Milanez, INS Ataıde, TL Massoni Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526 …, 2021 | | 2021 |
Analisando uma Rua com Crowdsourcing LKF Milanez, DCM Maia, AF Milanez Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526 …, 2021 | | 2021 |
Rede Social: Seus Impactos na Comunicaçao TRT de Brito, DCM Maia, AF Milanez Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574), 2021 | | 2021 |
Detecting and Classifying Nonconformances in Code Contracts with CONTRACTOK AF Milanez, TL Massoni, R Gheyi Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574), 2021 | | 2021 |