Desenvolvimento de jogos eletrônicos no ensino de computação um caso de sucesso
Francisco José Monaco Adenilso da Silva Simão; Elaine Parros Machado de Sousa; Luciana Andréia Fondazzi Martimiano; Fabíola Monaco; Workshop de Jogos na Educação (2005 Juiz de Fora); Simpósio Brasileiro de Informática na Educação (16. 2005 Juiz de Fora)
Anais 2005
2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1495049 ) e outros locais(Acessar)
ValiPar a testing tool for message-passing parallel programs
Simone do Rocio Senger de Souza Sílvia Regina Vergílio; Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; Thiago Blicosque Gonçalves; Alexandre de Melo Lima; Alexandre Ceolin Hausen; International Conference on Software Engineering & Knowledge Engineering (17. 2005 Taipei)
Proceedings Illinois: UND/Tung Hai University, 2005
Illinois UND/Tung Hai University 2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1471376 ) e outros locais(Acessar)
Coloured petri nets safety analysis using mutation testing
Adenilso da Silva Simão José Carlos Maldonado; Workshop em Segurança (Safety Workshop): Sistemas Computacionais em Aplicações Críticas (2003 São Paulo)
Trabalhos Apresentados São Paulo: EPUSP, 2003
São Paulo EPUSP 2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1340877 ) e outros locais(Acessar)
Proteum/sml uma ferramenta de apoio ao teste de mutação para a linguagem standard ml
Thaise Yano Adenilso da Silva Simão; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (17. 2003 Manaus); Sessão de Ferramentas (10. 2003 Manaus)
Anais Manaus: Editora da UFA,2003
Manaus Editora da UFA 2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1338914 ) e outros locais(Acessar)
EvalTool um ambiente de apoio à avaliação e seleção de ferramentas de teste para programas orientados a objetos
André Luís dos Santos Domingues Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (16. 2002 Gramado)
Anais Porto Alegre: Instituto de Informática da UFRGS, 2002
Porto Alegre Instituto de Informática da UFRGS 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1275907 ) e outros locais(Acessar)