Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem / Edition 1, Author: Patrice Godefroid
Title: Practical Guide To Software Quality Management / Edition 1, Author: John W. Horch
Title: Practical Software Maintenance: Best Practices for Managing Your Software Investment / Edition 1, Author: Thomas M. Pigoski
Title: Quality of Numerical Software: Assessment and enhancement / Edition 1, Author: Ronald F. Boisvert
Title: Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece / Edition 1, Author: Dimitris Gritzalis
Title: AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis / Edition 1, Author: William J. Brown
Title: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / Edition 1, Author: Bert Didier
Title: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
Title: Managing Software Quality and Business Risk / Edition 1, Author: Martyn A. Ould
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / Edition 1, Author: Hubertus B. Keller
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods / Edition 1, Author: Willem-Paul de Roever
Title: Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4, Author: Michael Haug
Title: Lessons Learned in Software Testing: A Context-Driven Approach / Edition 1, Author: Cem Kaner
Title: Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes / Edition 1, Author: Fabian Wolf
Title: Tru64 UNIX Troubleshooting: Diagnosing and Correcting System Problems, Author: Martin Moore
Title: Practical Guide To Software Quality Management / Edition 2, Author: John W. Horch
Title: Identifying Relevant Information for Testing Technique Selection: An Instantiated Characterization Schema / Edition 1, Author: Sira Vegas
Title: Practical Software Testing: A Process-Oriented Approach / Edition 1, Author: Ilene Burnstein
Title: Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code / Edition 1, Author: Bill Blunden
Title: A Practitioner's Guide to Software Test Design / Edition 1, Author: Lee Copeland

Pagination Links