Uma abordagem distribuída para o desenvolvimento orientado a modelos
David Fernandes Neto Patrício Carneiro da Frota; Renata Pontin de Mattos Fortes; Congresso Brasileiro de Software : Teoria e Prática - CBSoft (2. 2011 São Paulo); Simpósio Brasileiro de Engenharia de Software - SBES (25. 2011 São Paulo); Simpósio Brasileiro de Linguagens de Programação - SBLP (15. 2011 São Paulo); Simpósio Brasileiro de Métodos Formais - SBMF (14. 2011 São Paulo); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS (5. 2011 São Paulo); Workshop de Desenvolvimento Distribuído de Software - WDDS (5. 2011 São Paulo)
Anais Porto Alegre : SBC, 2011
Porto Alegre SBC 2011
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2216550 ) e outros locais(Acessar)
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)
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)
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)
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)
Instrumentação eficiente de programas em sistemas embarcados críticos
Harry 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, 2011
Porto Alegre SBC 2011
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2217278 ) e outros locais(Acessar)
Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcados
Arineiza Cristina Pinheiro Adenilso da Silva Simão; 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-2216766 ) e outros locais(Acessar)
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)
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)
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)