• Sign In
  • Help
  • My Basket0
Toward Zero Defect Programming (Paperback)
  • Toward Zero Defect Programming (Paperback)
zoom

Toward Zero Defect Programming (Paperback)

(author)
£19.99
Paperback 256 Pages / Published: 29/10/1998
  • We can order this

Usually despatched 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
Number of pages: 256
Weight: 413 g
Dimensions: 234 x 160 x 16 mm

You may also be interested in...

User Story Mapping
Added to basket
£27.99
Paperback
Essential Scrum
Added to basket
£36.99
Paperback
Clean Code
Added to basket
£36.99
Paperback
Concise Guide to Databases
Added to basket
User Stories Applied
Added to basket
£40.99
Paperback
Coaching Agile Teams
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
Succeeding with Agile
Added to basket
£38.99
Paperback
The Clean Coder
Added to basket
£32.99
Paperback
The Art of Unit Testing
Added to basket
Design Patterns
Added to basket
£43.99
Hardback
The Mythical Man-Month
Added to basket
Kanban
Added to basket
£33.55
Paperback
The Agile Samurai
Added to basket
Peopleware
Added to basket
£32.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.