Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Software Product Line Engineering: Foundations, Principles and TechniquesPohl, Klaus van der Linden, Frank J ; Böckle, GünterBerlin, Heidelberg: Springer Nature 2005Sem texto completo |
|
2 |
Material Type: Livro
|
Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, ProceedingsPezze, Mauro Pezzè, MauroBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
3 |
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 |
|
4 |
Material Type: Livro
|
Practical Software Testing: A Process-Oriented ApproachBurnstein, IleneNew York, NY: Springer Nature 2003Texto completo disponível |
|
5 |
Material Type: Livro
|
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and ApplicationsGirault, Claude ; Valk, RüdigerBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
6 |
Material Type: Livro
|
Software Reliability MethodsPeled, Doron A ; Clarke, E. MNew York, NY: Springer 2001Texto completo disponível |
|
7 |
Material Type: Livro
|
Non-Functional Requirements in Software EngineeringChung, Lawrence ; Nixon, Brian A ; Yu, Eric ; Mylopoulos, JohnBoston, MA: Springer 1999Texto completo disponível |
|
8 |
Material Type: Livro
|
Modern Software Tools for Scientific ComputingBruaset, A ; Arge, E ; Langtangen, Hans PetterBoston, MA: Birkhäuser Boston 1997Texto completo disponível |
|
9 |
Material Type: Livro
|
C a Software Engineering ApproachDarnell, Peter A ; Margolis, Philip ENew York, NY: Springer 1996Texto completo disponível |