Title: Reliable Object-Oriented Software: Applying Analysis and Design, Author: Ed Seidewitz
Title: The Agent Modeling Language - AML: A Comprehensive Approach to Modeling Multi-Agent Systems, Author: Radovan Cervenka
Title: FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, Author: John Fitzgerald
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: Secure Programming Cookbook for C and C++: Recipes for Cryptography, Authentication, Input Validation & More, Author: John Viega
Title: The Unified Process Transition and Production Phases: Best Practices in Implementing the UP, Author: Scott W. Ambler
Title: The Unified Process Inception Phase: Best Practices in Implementing the UP, Author: Scott W. Ambler
Title: Object Technologies for Advanced Software: First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings, Author: Shojiro Nishio
Title: Design Patterns Explained: A New Perspective on Object-Oriented Design, Author: Alan Shalloway
Title: AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis, Author: William J. Brown
Title: Algorithms in a Nutshell: A Practical Guide, Author: George T. Heineman
Title: UML in Practice: The Art of Modeling Software Systems Demonstrated through Worked Examples and Solutions, Author: Pascal Roques
Title: Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding, Author: Orna Grumberg
Title: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 2: Tutorials, Author: Soren Prehn
Title: KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report, Author: Manfred Broy
Title: The Business Value of Software, Author: Michael D. S. Harris
Title: Product Focused Software Process Improvement: 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings, Author: Frank Bomarius
Title: Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings, Author: Ivica Crnkovic
Title: Making Globally Distributed Software Development a Success Story: International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008, Proceedings, Author: Qing Wang
Title: Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings, Author: Heinz G. Schmidt

Pagination Links