Title: Analysis and Design of Information Systems / Edition 3, Author: Arthur M. Langer
Title: Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Edition 1, Author: Bernhard Steffen
Title: UML Modeling Languages and Applications: <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / Edition 1, Author: Nuno Jardim Nunes
Title: Software Architectures for Product Families: International Workshop IW-SAPF-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 Proceedings / Edition 1, Author: Frank van der Linden
Title: Advances in Exception Handling Techniques / Edition 1, Author: Alexander Romanovsky
Title: Self-Sustaining Systems: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings / Edition 1, Author: Robert Hirschfeld
Title: Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers / Edition 1, Author: Barbara Paech
Title: Formal Development of Reactive Systems: Case Study Production Cell / Edition 1, Author: Claus Lewerentz
Title: Software Product Lines: 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings / Edition 1, Author: Henk Obbink
Title: Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings / Edition 1, Author: Barbara Paech
Title: Software Process Change: International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings / Edition 1, Author: Qing Wang
Title: VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings / Edition 1, Author: Robin E. Bloomfield
Title: Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers / Edition 1, Author: Francesco Parisi-Presicce
Title: Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / Edition 1, Author: Ed Brinksma
Title: Object Technologies for Advanced Software: First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings / Edition 1, Author: Shojiro Nishio
Title: Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / Edition 1, Author: Martin Wirsing
Title: Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings / Edition 1, Author: Kokichi Futatsugi
Title: Software Process Improvement: 11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings / Edition 1, Author: T. Dingsïyr
Title: Software Process Technology: 8th European Workshop, EWSPT 2001 Witten, Germany, June 19-21, 2001 Proceedings / Edition 1, Author: Vincenzo Ambriola
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software / Edition 1, Author: Reinhold Ploesch

Pagination Links