Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
LOD: uma abordagem para desenvolvimento de objetos de aprendizagem multimídia e interativosSilva, Marco Aurélio GraciottoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2012-06-18Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Tese de Doutorado
|
Classificação automática de questões baseada em competências: ENEM - Estudo de casoSilva, Valtemir De Alencar EBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-03-20Acesso online |
|
3 |
Material Type: Relatório Técnico
|
Software product instrumentation descriptionAdenilso da Silva Simão Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Antonio Carlos Lima SantanaSão Carlos ICMC-USP 2002Localização: ICMC - Inst. Ciên. Mat. Computação (RT SCE N.157 S588sp e.1 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papersAlexandre Petrenko Adenilso da Silva Simão; José Carlos MaldonadoPorto Alegre SBC 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2138153 ) e outros locais(Acessar) |
|
5 |
Material Type: Dissertação de Mestrado
|
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.Simão, Adenilso Da SilvaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-03-17Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Artigo de Congresso
|
Estudo de teste de mutação para a linguagem standard MLThaise Yano Adenilso da Silva Simão; José Carlos Maldonado; Conferencia Latinoamericana en Informática (2004 Arequipa)CLEI 2004 Arequipa, 2004Arequipa 2004Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1402011 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
MuDeL a language and a system for descibing and generating mutantsAdenilso da Silva Simão José Carlos Maldonado; Simposio Brasileiro de Engenharia de Software (15 2001 Rio de Janeiro)Anais Rio de Janeiro: UFRJ, 2001Rio de Janeiro UFRJ 2001Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1214530 ) e outros locais(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
IDeL a language for program instrumentationAdenilso da Silva Simão Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Antonio Carlos Lima Santana; Conferencia Latinoamericana de Informática - infoUYclei (28. 2002 Montevideo)20022002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1278944 ) e outros locais(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Model-driven development of learning objectsMarco Aurélio Graciotto Silva Ellen Francine Barbosa; José Carlos Maldonado; Frontiers in Education Conference - FIE (41. 2011 Rapid City, South Dakota)Proceedings Piscataway : IEEE, 2011Piscataway IEEE 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2239476 ) e outros locais(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Proteum-RS/PN uma ferramenta para a validação de Redes de Petri baseada na análise de mutantesAdenilso da Silva Simão José Carlos Maldonado; Workshop de Teses e Dissertações Defendidas do ICMC/USP (6. 2001 São Carlos)Anais São Carlos:ICMC/USP, 2001São Carlos ICMC/USP 2001Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1214847 ) e outros locais(Acessar) |