Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Software testing in critical embedded systems a systematic review of adherence to standard DO-178BJacson Rodrigues Barbosa Auri Marcelo Rizzo Vincenzi; Márcio Eduardo Delamaro; José Carlos Maldonado; International Conference on Advances in System Testing and Validation Lifecycle - VALID 2011 (3. 2011 Barcelona, Espanha)Proceedings Santa Clara, CA : IARIA, 2011Santa Clara, CA IARIA - The International Academy Research and Industry Association 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2240801 ) e outros locais(Acessar) |
2 |
Material Type: Artigo de Congresso
|
![]() |
An experimental evaluation of peer testing in the context of the teaching of software testingJacson R. Barbosa (Jacson Rodrigues Barbosa) Pedro Valle (Pedro Henrique Dias Valle); José Carlos Maldonado; Márcio Eduardo Delamaro; Auri M. R Vincenzi (Auri Marcelo Rizzo Vincenzi); International Symposium on Computers in Education - SIIE (19. 2017 Lisboa, Portugal)Proceedings Piscataway, NJ : IEEE, 2017Piscataway, NJ IEEE 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2873037 )(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
An experimental evaluation of peer testing in the context of the teaching of software testingJacson R. Barbosa (Jacson Rodrigues Barbosa) Pedro Valle (Pedro Henrique Dias Valle); José Carlos Maldonado; Márcio Eduardo Delamaro; Auri M. R Vincenzi (Auri Marcelo Rizzo Vincenzi); International Symposium on Computers in Education - SIIE (19. 2017 Lisboa, Portugal)Atas Lisboa: CIED – Centro Interdisciplinar de Estudos Educacionais , 2017Lisboa CIED – Centro Interdisciplinar de Estudos Educacionais 2017Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Tese de Doutorado
|
![]() |
OntoSoft: um processo de desenvolvimento ágil para software baseado em ontologiaMarques, Joice Basilio MachadoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2017-10-02Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Tese de Doutorado
|
![]() |
Uma contribuição ao processo de desenvolvimento e modelagem de módulos educacionaisBarbosa, Ellen FrancineBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2004-05-03Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Collaborative development of educational modules a need for lifelong learningEllen Francine Barbosa José Carlos MaldonadoMagoulas, George, ed. E-Infrastructures and technologies for lifelong learning : next generation environments Hershey, PA : IGI-Global, 2011 428 pHershey, PA IGI-Global 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2217982 ) e outros locais(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
Uma contribuição para determinação de um conjunto essencial de operadores de mutação no teste de programas CEllen Francine Barbosa José Carlos Maldonado; Workshop de Teses e Dissertações Concluídas - ICMC/USP (4. 1999 São Carlos)Anais São Carlos : ICMC-USP, 1999São Carlos ICMC-USP 1999Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1049844 ) e outros locais(Acessar) |
8 |
Material Type: Artigo de Congresso
|
![]() |
Towards the establishment of a standard process for developing educational modulesEllen Francine Barbosa José Carlos Maldonado; Annual Frontiers in Education Conference (36. 2006 San Diego)Proceedings Piscataway: IEEE, 2006Piscataway IEEE 2006Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1554958 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Unit and integration testing for C programs using mutation-based criteriaAuri Marcelo Rizzo Vincenzi José Carlos Maldonado; Ellen Francine Barbosa; Márcio Eduardo DelamaroMutation testing for the new century Massachusetts: Kluwer, 2001Massachusetts Kluwer 2001Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1222239 ) e outros locais(Acessar) |
10 |
Material Type: Artigo de Congresso
|
![]() |
Mecanismos de apoio à modelagem de conteúdos uma contribuição ao processo de desenvolvimento de módulos educacionaisEllen Francine Barbosa José Carlos Maldonado; Simpósio Brasileiro de Informática na Educação (15. 2004 Manaus)Anais Manaus, 2004Manaus 2004Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1409812 ) e outros locais(Acessar) |