Error title
Some error text about your books and stuff.
Close

Toward Zero-Defect Programming

by Allan M. Stavely

  • ISBN: 9780201385953
  • ISBN10: 0201385953

Toward Zero-Defect Programming

by Allan M. Stavely

  • List Price: $26.95
  • Binding: Paperback
  • Edition: 1
  • Publisher: Addison-Wesley
  • Publish date: 09/01/1998
  • ISBN: 9780201385953
  • ISBN10: 0201385953
used Add to Cart $11.21
You save: 58%
Marketplace Item
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
new Add to Cart $30.26
Marketplace Item
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Description: This book describes current software-engineering 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 programmers 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 programmers 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.
Expand description
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller Condition Comments Price  
Seller: Solr Books
Location: Skokie, IL
Condition: Good
Shipping Icon
Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!
Price:
$11.21
Comments:
Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!
Seller: Ergodebooks
Location: Houston,, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$11.41
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: sellerfromthewest
Location: Hayward, CA
Condition: New
Price:
$30.26
Comments:
Seller: Ergodebooks
Location: Houston,, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$37.23
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Bonita
Location: Newport Coast, CA
Condition: Good
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Price:
$60.53
Comments:
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Seller: GridFreed
Location: North Las Vegas, NV
Condition: New
New.
Price:
$83.32
Comments:
New.
Seller: Bonita
Location: Newport Coast, CA
Condition: New
Price:
$94.77
Comments:
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).