Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lecturesPaulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)Berlin u.a. Springer 2010Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Product Focused Software Process Improvement: Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000 ProceedingsBomarius, Frank ; Oivo, Markku Oivo, Markku ; Bomarius, FrankBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
3 |
Material Type: Livro
|
Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, ProceedingsLinden, Frank van der van der Linden, FrankBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
|
4 |
Material Type: Livro
|
Multi-Agent System Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 ProceedingsGarijo, Francisco J ; Boman, Magnus Boman, Magnus ; Garijo, Francisco J.Berlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
5 |
Material Type: Livro
|
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, ProceedingsHalbwachs, Nicolas ; Peled, Doron Peled, Doron ; Halbwachs, NicolasBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
6 |
Material Type: Livro
|
ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 ProceedingsNichols, Howard ; Simpson, Dan Simpson, Dan ; Nichols, HowardBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
7 |
Material Type: Livro
|
ESEC '91: 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 ProceedingsLamsweerde, Axel van ; Fugetta, Alfonso van Lamsweerde, Axel ; Fugetta, AlfonsoBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
8 |
Material Type: Livro
|
B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 ProceedingsBert, Didier Bert, DidierBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
|
9 |
Material Type: Livro
|
Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, ProceedingsGonzalez Harbour, Michael ; de la Puente, Juan A ; Goos, Gerhard González Harbour, Michael ; de la Puente, Juan A.Berlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
10 |
Material Type: Livro
|
ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. ProceedingsBowen, Jonathan P ; Fett, Andreas ; Hinchey, Michael G Hinchey, Michael G. ; Bowen, Jonathan P. ; Fett, AndreasBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |