Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
2 |
Material Type: Artigo de Congresso
|
![]() |
Aplicação de teste estrutural para programas multithreads baseados em semáforosFelipe Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Symposium on Computer Architecture and High Performance Computing (19 Gramado 2007); Workshop on Languages and Tools for Parallel and Distributed Programming - LTPD (2007 Gramado)[Proceedings] Gramado, 2007Porto Alegre 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1636292 ) e outros locais(Acessar) |
3 |
Material Type: Tese de Doutorado
|
![]() |
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UMLRocha, Mauricio Rêgo Mota DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-12-17Acesso online |