Title: Testing in Software Development, Author: Martyn A. Ould
Title: Software Reliability Modelling and Identification / Edition 1, Author: Sergio Bittanti
Title: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism / Edition 1, Author: Josyula R. Rao
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem / Edition 1, Author: Patrice Godefroid
Title: Software Change Impact Analysis / Edition 1, Author: Robert Arnold
Title: Practical Guide To Software Quality Management / Edition 1, Author: John W. Horch
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers / Edition 1, Author: Olivier Danvy
Title: Practical Software Maintenance: Best Practices for Managing Your Software Investment / Edition 1, Author: Thomas M. Pigoski
Title: Applying Software Metrics / Edition 1, Author: Paul Oman
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction / Edition 1, Author: Markus Mïller-Olm
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: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings / Edition 1, Author: Lars Asplund
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Edition 1, Author: Alan J. Hu
Title: Testing Object-Oriented Software / Edition 1, Author: David C. Kung
Title: Testing Computer Software / Edition 2, Author: Cem Kaner
Title: Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings / Edition 1, Author: Dennis Dams
Title: Managing Software Quality and Business Risk / Edition 1, Author: Martyn A. Ould
Title: Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 / Edition 1, Author: John Hatcliff
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

Pagination Links