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: Larch: Languages and Tools for Formal Specification, Author: John V. Guttag
Title: Prototyping-Oriented Software Development: Concepts and Tools, Author: Walter R. Bischofberger
Title: FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, Author: Jorge Cuellar
Title: Self-Sustaining Systems: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings, Author: Robert Hirschfeld
Title: FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, Author: John Fitzgerald
Title: A Theory and Practice of Program Development, Author: Derek J. Andrews
Title: The Synthesizer Generator: A System for Constructing Language-Based Editors, Author: Thomas W. Reps
Title: Component-Based Software Engineering: 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Author: George Heineman
Title: KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report, Author: Manfred Broy
Title: UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings, Author: Martin Gogolla
Title: Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, Author: Martin Wirsing
Title: Docker Cookbook: Solutions and Examples for Building Distributed Applications, Author: Sy bastien Goasguen
Title: Object Technologies for Advanced Software: First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings, Author: Shojiro Nishio
Title: Software Process Technology: 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000. Proceedings, Author: Reidar Conradi
Title: Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers, Author: Maura Cerioli
Title: Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings, Author: Ian Gorton
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: Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers, Author: Mingshu Li
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

Pagination Links