Cover Image

Toward zero-defect programming

Toward Zero-Defect Programming describes current methods for writing (nearly) bug-free programs. These methods are based on practices developed at IBM and elsewhere under the name Cleanroom Software Engineering. The successful application of these methods in commercial projects over the past fifteen...

Full description

Saved in:
Bibliographic Details
Main Author: Stavely, Allan M
Format: Book
Language:English
Published: Reading, Mass Addison-Wesley 1999
Subjects:
Computer software > Quality control
Computer software > Verification
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • Ch. 1. Introduction
  • Ch. 2. The Functions Computed by Programs
  • Ch. 3. Verification
  • Ch. 4. Verification of Iterations
  • Ch. 5. Programming with Intended Functions
  • Ch. 6. Verification Reviews
  • Ch. 7. Definite Iteration
  • Ch. 8. Data Abstraction and Object-oriented Programs
  • Ch. 9. Recursion and Functional Languages
  • Ch. 10. Testing
  • Ch. 11. Incremental Development
  • Ch. 12. Where Do We Go From Here?

Similar Items