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 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: Software Development Environments and Case Technology: European Symposium, K�nigswinter, June 17-19, 1991. Proceedings, Author: Albert Endres
Title: Software Process: Principles, Methodology, and Technology, Author: Jean-Claude Derniame
Title: Component-Based Software Engineering: 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Author: George Heineman
Title: Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies, Author: Katalin Popovici
Title: Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, Author: José Luiz Fiadeiro
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: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 1: Conference Contributions, Author: Soren Prehn

Pagination Links