Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
|
2 |
Material Type: Livro
|
Use a cabeça desenvolvimento de softwareDan Pilone Russ Miles; Aldir José Coelho; Marcelo SantosRio de Janeiro Alta Books c2008Localização: IME - Inst. Matemática e Estatística (QA752.5 P643hP )(Acessar) |
|
3 |
Material Type: Livro
|
Teste de softwareEmerson Rios Trayahú Moreira FilhoRio de Janeiro Alta Books c2006Localização: IME - Inst. Matemática e Estatística (QA752.7 R586t )(Acessar) |
|
4 |
Material Type: Livro
|
Qualidade de software aprenda as metodologias e técnicas mais modernas para o desenvolvimento de softwareAndré Koscianski Michel dos Santos SoaresSão Paulo Novatec c2006Localização: IME - Inst. Matemática e Estatística (QA752 K86q )(Acessar) |
|
5 |
Material Type: Livro
|
Systematic software testingRick D. Craig (Rick David) 1955- Stefan P JaskielBoston Artech House 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.25 C886ss e.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Test-driven development an empirical evaluation of agile practiceLech MadeyskiHeidelberg Springer-Verlag New York 2010Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
The art of unit testing with examples in .NETRoy OsheroveGreenwich, Conn Manning 2009Localização: IME - Inst. Matemática e Estatística (QA752.7 O82a )(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
OConGraX automatically generating data-flow test cases for fault-tolerant systemsPaulo Roberto de Araújo França Nunes Simone Hanazumi; Ana Cristina Vieira de Melo; International Workshop on Formal Approaches to Software Testing - FATES (9. 2009 Eindhoven, The Netherlands); International Conference on Testing of Software and Communicating Systems - TestCom: IFIP (21. 2009 Eindhoven, The Netherlands)Proceedings Berlin : Springer, 2009Berlin Springer 2009Localização: IME - Inst. Matemática e Estatística (PROD-3010427 )(Acessar) |
|
9 |
Material Type: Livro
|
Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26 2006 : proceedingsATVA 2006 (4th 2006 Beijing, China) Susanne Graf; Wenhui Zhang 1963Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Software testing and continuous quality improvementWilliam E LewisBoca Raton Auerbach c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.01 L677st e.1 ) e outros locais(Acessar) |