Toward Zero-defect Programming (Paperback)
  • Toward Zero-defect Programming (Paperback)

Toward Zero-defect Programming (Paperback)

Paperback Published: 14/09/1998
  • Can be ordered from our supplier

Delivered within 3 weeks

  • This item has been added to your basket

Check Marketplace availability

* This book 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. In a concise presentation, the author shows how to apply these methods in three key areas of software development: specification, verification, and testing. * Requiring formal specifications forces students to program more simply and more clearly, eliminating many defects as a consequence. Performing semiformal verification as part of a team process uncovers additional defects. Testing the program, to compensate for human fallibility in the preceding steps, catches (nearly) all remaining bugs. The author departs somewhat from IBM Cleanroom methods to simplify the formalism that students must learn, and to make specification and verification readily accessible to anyone who can write well-structured programs. Although the book's examples are written in several programming languages, the largest number is in C.

Publisher: Pearson Education (US)
ISBN: 9780201385953

You may also be interested in...

Your review has been submitted successfully.

We would love to hear what you think of Waterstones. Why not review Waterstones on Trustpilot?

Review us on Trustpilot