Title: Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings, Author: Pete Sawyer
Title: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings., Author: Tiziana Margaria
Title: Analysis and Design of Information Systems, 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, Author: Bernhard Steffen
Title: Software Architectures for Product Families: International Workshop IW-SAPF-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 Proceedings, Author: Frank van der Linden
Title: Software Engineering Research and Applications: First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers, Author: C.V. Ramamoorthy
Title: Self-Sustaining Systems: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings, Author: Robert Hirschfeld
Title: VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings, Author: Robin E. Bloomfield
Title: Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceed, Author: C.R. Ramakrishnan
Title: Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings, Author: Alberto Sangiovanni-Vincentelli
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, Author: Barbara Paech
Title: Software Design - Cognitive Aspect, Author: Francoise Detienne
Title: Component-Based Software Engineering: 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Author: George Heineman
Title: A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors, Author: R. Kurki-Suonio
Title: Transactions on Aspect-Oriented Software Development I, Author: Awais Rashid
Title: Software Process Technology: 6th European Workshop, EWSPT'98, Weybridge, UK, September 16-18, 1998, Proceedings, Author: Volker Gruhn
Title: Software Engineering Approaches for Offshore and Outsourced Development: First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers, Author: Bertrand Meyer
Title: Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceed, Author: Holger Hermanns
Title: Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, Author: Rajeev Alur
Title: Software Process Technology: 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings, Author: Flavio Oquendo

Pagination Links