Title: Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings, Author: Tiziana Margaria
Title: Advances in Exception Handling Techniques, Author: Alexander Romanovsky
Title: Software Process Technology: 8th European Workshop, EWSPT 2001 Witten, Germany, June 19-21, 2001 Proceedings, Author: Vincenzo Ambriola
Title: Software Craftsmanship: The New Imperative, Author: Mike Hendrickson
Title: Software Design - Cognitive Aspect, Author: Francoise Detienne
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: Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings, Author: Thomas A. Henzinger
Title: Software Process Improvement, Author: Robin B. Hunter
Title: .Net Framework Programmer's Reference, Author: Dan Rahmel
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: Modular Specification and Verification of Object-Oriented Programs, Author: Peter MĆÆller
Title: Software Development on a Leash, Author: David Birmingham
Title: Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings, Author: Joost-Pieter Katoen
Title: Software Product-Family Engineering: 4th International Workshop, PFE 2001 Bilbao, Spain, October 3-5, 2001 Revised Papers, Author: Frank van der Linden
Title: FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings, Author: Lars-Henrik Eriksson
Title: Software Product Lines: Second International Conference, SPLC 2, San Diego, CA, USA, August 19-22, 2002. Proceedings, Author: Gary J. Chastek
Title: Test Driven Development: By Example, Author: Kent Beck
Title: UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools: 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings, Author: Jean-Marc Jezequel
Title: Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings, Author: Alberto Sangiovanni-Vincentelli
Title: Developer's Digital Media Reference: New Tools, New Methods, Author: Curtis Poole

Pagination Links