skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proceedings of the 14. Brazilian Symposium on Formal Methods - SBMF 2011 short papers
Material Type:
Livro
Adicionar ao Meu Espaço

Proceedings of the 14. Brazilian Symposium on Formal Methods - SBMF 2011 short papers

Adenilso da Silva Simão Carroll Morgan; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP)

São Carlos, SP ICMC/USP 2011

Acesso online. A biblioteca também possui exemplares impressos.

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Contextual Integration Testing of Object-Oriented and Aspect-Oriented Programs: A structural approach for Java and AspectJ

Bruno Barbieri de Pontes Cafeo 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, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2215577 ) e outros locais(Acessar)

3
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Extensão da ferramenta JaBUTi/AJ para teste de integração de programas orientados a objetos e a aspectos

Vâ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, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2216519 ) e outros locais(Acessar)

4
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Uma contribuição à submissão e avaliação automática de trabalhos de programação com base em atividades de teste

Draylson Micael de Souza José Carlos Maldonado; Ellen Francine Barbosa; 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, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2216642 ) e outros locais(Acessar)

5
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Contributions and perspectives in architectures of software testing environments

Elisa Yumi Nakagawa José Carlos Maldonado; 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, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2215314 ) e outros locais(Acessar)

6
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Avaliação do custo e efetividade do teste estrutural para programas concorrentes com memória compartilhada

Silvana Morita Melo 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, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2217301 ) e outros locais(Acessar)

7
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Teste de mutação aplicado a programas concorrentes em MPI

Rodolfo 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, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2217086 ) e outros locais(Acessar)

8
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Uma revisão sistemática sobre teste estrutural de software em sistemas embarcados

Vânia de Oliveira Neves Paulo Cesar Masiero; Márcio Eduardo Delamaro; Elisa Yumi Nakagawa; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST 2011 (5. 2010 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, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2215174 ) e outros locais(Acessar)

9
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Towards open source reference architectures

Elisa Yumi Nakagawa José Carlos Maldonado; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST 2011 (5. 2010 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, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2215206 ) e outros locais(Acessar)

10
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Avaliação de conjuntos de testes de projetos de software livre

André Mesquita Rincon Auri Marcelo Rizzo Vincenzi; Marcos Lordello Chaim; Márcio Eduardo Delamaro; José Carlos Maldonado; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST 2011 (5. 2010 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, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2215057 ) e outros locais(Acessar)

Buscando em bases de dados remotas. Favor aguardar.