Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Basics of Software Engineering ExperimentationJuristo, Natalia ; Moreno, Ana MBoston, MA: Springer US 2001Texto completo disponível |
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
|
![]() |
Software Engineering — ESEC '93: 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 ProceedingsSommerville, Ian ; Paul, Manfred Sommerville, Ian ; Paul, ManfredBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
5 |
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 |
6 |
Material Type: Livro
|
![]() |
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 ProceedingsNaftalin, Maurice ; Denvir, Tim ; Bertran, Miquel Bertran, Miquel ; Denvir, Tim ; Naftalin, MauriceBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
7 |
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 |
8 |
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 |
9 |
Material Type: Livro
|
![]() |
ESEC '89: 2nd European Software Engineering Conference University of Warwick, Coventry, UK September 11–15, 1989 ProceedingsGhezzi, C ; McDermid, J. A Ghezzi, C. ; McDermid, J. A.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
10 |
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 |