Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
ValiMPI uma ferramenta para teste de programas paralelosAlexandre Ceolin Hausen Sílvia Regina Vergílio; Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; Simposio Brasileiro de Engenharia de Software (20. 2006 Florianópolis); Sessão de Ferramentas (13. 2006 Florianópolis)Anais Florianópolis: SBC, 2006Florianópolis SBC 2006Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1556856 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Instrumentação eficiente de programas em sistemas embarcados críticosHarry Trinta Pereira da Costa Márcio Eduardo Delamaro; Marcos Lordello Chaim; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP); Workshop of Theses and Dissertations of the CBSoft - WTDSoft 2011 (2011 São Paulo, SP)Anais Porto Alegre : SBC, 2011Porto Alegre SBC 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2217278 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentesMaria Adelina S Brito Simone do Rocio Senger de Souza; Congresso Brasileiro de Software : Teoria e Prática - CBSoft (1. (2010 Salvador); Workshop de Teses e Dissertações em Engenharia de Software - WTES (14. 2010 Salvador)Anais Porto Alegre : SBC, 2010Porto Alegre SBC 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1998034 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Um catálogo de stubs para apoiar o teste de integração de programas orientados a aspectosReginaldo Ré André Luís dos Santos Domingues; Paulo Cesar Masiero; Simpósio Brasileiro de Engenharia de Software (22 2008 Campinas)Anais Campinas: SBC, 2008Campinas SBC 2008Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1696670 ) e outros locais(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Teste estrutural de integração contextual de programas orientados a objetos e a aspectos definições, implementação e avaliaçãoLucas Bueno Ruas de Oliveira Paulo Cesar Masiero; Congresso Brasileiro de Software : Teoria e Prática - CBSoft (1. (2010 Salvador); Workshop de Teses e Dissertações em Engenharia de Software - WTES (14. 2010 Salvador)Anais Porto Alegre : SBC, 2010Porto Alegre SBC 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1998042 ) e outros locais(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
Extensão da ferramenta JaBUTi/AJ para teste de integração de programas orientados a objetos e a aspectosVânia de Oliveira Neves Paulo Cesar Masiero; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP)Anais Porto Alegre : SBC, 2011Porto Alegre SBC 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2216519 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Introdução ao teste de softwareMárcio Eduardo Delamaro José Carlos Maldonado; Mário JinoRio de Janeiro Elsevier 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1726007 ) e outros locais(Acessar) |
|
8 |
Material Type: Dissertação de Mestrado
|
Teste de mutação nos paradigmas procedimental e oo: uma avaliação no contexto de estrutura de dadosCampanha, Diogo NascimentoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2010-12-06Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Artigo de Congresso
|
Teste de mutação aplicado a programas concorrentes em MPIRodolfo Adamshuk Silva Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP); Workshop of Theses and Dissertations of the CBSoft - WTDSoft 2011 (2011 São Paulo, SP)Anais Porto Alegre : SBC, 2011Porto Alegre SBC 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2217086 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Projeto de sistemas de processamento de dadosDonaldo de Sousa Dias Giosafatte GazzaneoRio de Janeiro Livros Tecnicos e Cientificos 1975Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (658.403 D541 e.2 ) e outros locais(Acessar) |