Title: Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995), Author: Roger Shaw
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers, Author: Olivier Danvy
Title: Practical Guide To Software Quality Management, Author: John W. Horch
Title: Introduction to Fuzzy Reliability, Author: Kai-Yuan Cai
Title: Software Change Impact Analysis, Author: Robert Arnold
Title: Cleanroom Software Engineering: A Reader, Author: Jesse Poore
Title: Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings, Author: Alfred Strohmeier
Title: Fatal Defect: Chasing Killer Computer Bugs, Author: Ivars Peterson
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Author: Patrice Godefroid
Title: Software Performability: From Concepts to Applications, Author: Ann T. Tai
Title: ISO 9000-3: A Tool for Software Product and Process Improvement, Author: Raymond Kehoe
Title: Temporal Verification of Reactive Systems: Safety, Author: Zohar Manna
Title: Software Reliability and Testing, Author: Hoang Pham
Title: Black-Box Testing: Techniques for Functional Testing of Software and Systems, Author: Boris Beizer
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings, Author: Paolo Nesi
Title: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism, Author: Josyula R. Rao
Title: Quality Software Management: Congruent Action, Author: Gerald M. Weinberg
Title: Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings, Author: Peter A. Fritzson
Title: The Testability of Distributed Real-Time Systems, Author: Werner Schütz
Title: Program Verification: Fundamental Issues in Computer Science, Author: Timothy T.R. Colburn

Pagination Links