Toward Zero Defect Programming 1st Edition

by Allan M. Stavely (Author)

3 customer reviews

ISBN-13: 978-0201385953

ISBN-10: 0201385953

Why is ISBN important?

Have one to sell? Sell on Amazon

Added to

Unable to add item to List. Please try again.

Buy new

$30.51

Only 5 left in stock - order soon.

Ships from and sold by DelhiBookStore.

This item ships to France.

2 New from $25.94

Select delivery location

$30.51 + $16.95 shipping

Turn on 1-Click ordering

More Buying Choices

2 New from $25.94 7 Used from $10.80

9 used & new from $10.80

See All Buying Options

Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

"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 years has produced defect rates that are, at least, an order of magnitude lower than industry averages. Remarkably, this reduction in defects comes at no net cost; on the contrary, it is often accompanied by increased productivity and shorter overall development time!

Frequently bought together

Total price: $80.46

These items are shipped from and sold by different sellers. Show details

Buy the selected items together

This item:Toward Zero Defect Programming by Allan M. Stavely Paperback $30.51
Only 5 left in stock - order soon.
Ships from and sold by DelhiBookStore.
$3.99 shipping
Cleanroom Software Engineering: Technology and Process by Stacy J. Prowell Paperback $49.95
In Stock.
Ships from and sold by Amazon.com.
FREE Shipping. Details

Customers who bought this item also bought

Page 1 of 1 Start overPage 1 of 1

This shopping feature will continue to load items. In order to navigate out of this carousel please use your heading shortcut key to navigate to the next or previous heading.

Stacy J. Prowell

6

Paperback
$49.95
Daniel J. Velleman

120

Paperback
$32.06
G. Polya

127

Paperback
$14.63
Nancy G. Leveson

18

Paperback
$33.84
Leslie Lamport

5

Paperback
$36.66
Steve Maguire

37

Paperback
88 offers from $1.00

Editorial Reviews

From the Back Cover

Read a paper by the author describing a course taught using this book.

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 years has produced defect rates that are, at least, an order of magnitude lower than industry averages. Remarkably, this reduction in defects comes at no net cost; on the contrary, it is often accompanied by increased productivity and shorter overall development time!

In a concise and well-illustrated presentation, Stavely shows how these methods can be applied in three key areas of software development:

specification
verification
testing.

Requiring formal specifications, and requiring that the code be proved mathematically to agree with the specifications, forces software engineers to program more simply and more clearly, eliminating many defects as a consequence. Performing verification as part of a team process uncovers additional defects and encourages careful examination of the program for efficiency and other quality aspects. Testing the program, to compensate for human fallibility in the preceding steps, catches (nearly) all remaining bugs.

Highlights

Explains Cleanroom methods for developing high-quality software.
Encourages a team process for program verification.
Illustrates the importance of incremental development.

The author departs somewhat from IBM Cleanroom methods in simplifying the procedures that readers must learn. His aim is to make specification and verification readily accessible to any student or practitioner who can write well-structured programs. No great mathematical sophistication is assumed. Although the book’s examples are written in a number of programming languages to explain different points, the largest number are in C; therefore, a prior knowledge of C is useful.

About the Author

Allan M. Stavely was a faculty member in the Computer Science Department at New Mexico Tech for more than twenty years. He has also been a visiting staff member at IBM Research in San Jose, California; at Hewlett-Packard Labs in Bristol, England; and at IBM UK Laboratories at Hursley Park, Winchester, England. Much of his teaching, and most of his research, have focused on software engineering, formal methods, and improved methods of programming in general. Dr. Stavely is now an independent consultant, and can be reached at astavely@acm.org; he has web pages at http://www.nmt.edu/~astavely.

0201385953AB05072001

See all Editorial Reviews

Product details

Paperback: 256 pages
Publisher: Addison-Wesley Professional; 1 edition (September 24, 1998)
Language: English
ISBN-10: 0201385953
ISBN-13: 978-0201385953
Product Dimensions: 6.5 x 0.3 x 9 inches
Shipping Weight: 14.7 ounces (View shipping rates and policies)
Average Customer Review: 3 customer reviews
Amazon Best Sellers Rank: #1,854,876 in Books (See Top 100 in Books)
- #46 in Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Quality Control
- #1857 in Books > Textbooks > Computer Science > Software Design & Engineering
- #4238 in Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development

Would you like to tell us about a lower price?
If you are a seller for this product, would you like to suggest updates through seller support?

Be the first video

Your name here

Customer reviews

4.4 out of 5 stars

5 star

4 star

3 star (0%)

2 star (0%)

1 star (0%)

Write a customer review

See all 3 customer reviews

Top customer reviews

There was a problem filtering reviews right now. Please try again later.

Sean Kelly

Cleanroom method---distilled!

January 19, 2000

Format: PaperbackVerified Purchase

Dr. Allan Stavely has done for the Cleanroom Software Engineering method what Martin Fowler did for the Unified Modeling Language in his book "UML Distilled." He's analyzed the best and most useful parts of the Cleanroom method and found a great way to present them. After reading this book, you'll be controlling defect rates and shortening development times on your own software projects.
For those not in the know, the Cleanroom method is a set of practices pioneered by the late Harlan Mills. The idea is to use some simplified mathematical formalism along with group verifications. The result? You shift time away from hack-and-slash debugging towards review. Often, the entire start-to-finish development time is shortened.
With object-oriented languages and template instantiation times, this is a really good thing: the compile-debug-test cycle is far too painful and too slow to support today's shortened deadlines.
The key to Cleanroom is that the mathematical formalism is simplified and "just enough." Stavely demonstrates the typical structures found in programs and shows how intended function statements (the math part) are used in the group review (the verification part) to discover defects in the code. Later, a testing group exercises the paths through the code that users are most likely to take, giving statistical metrics on mean-time to failure and feedback into the quality of the method's practice.
Stavely's conversational writing style makes grasping the material efficient. Each chapter focus on just one aspect of the method, and exercises at the end test how well you grasped the material. Although Stavely includes hints to the answers for selected questions, I would've preferred complete answers to all the questions. That'd make the book more useful outside of a classroom setting.
Transcripts of review sessions show how the method succeeds in the group review. Although hypothetical, Stavely based them on actual review sessions taken by his coworkers and students over the years. They help guide newcomers to the method on how to conduct the verification step.
Overall, this is a great introduction to the Cleanroom method and after finishing the book you'll be able to introduce it to your own group in no time. Buy a copy for everyone on your team!

11 people found this helpful

Helpful

Not Helpful

Comment

Jay P. Vansanten

Laudable goal, useful thoughts

November 20, 2009

Format: PaperbackVerified Purchase

Minimizing defects when writing software is a goal that all programmers seek. Typically, a programmer will reflect and develop strategies after the "heat of the battle." Books that provide a systematic approach to a particular aspect -- that of logical correctness -- are not that common -- particularly those directed towards programmers rather than academicians -- so any addition to the literature is welcomed.

Before reading this book, I was unfamiliar with either Cleanroom Software Engineering or Harlan Mills, who is credited with conceiving the method. It was developed by IBM in the 70s, and adopted more widely in the company in the 80s. Since that time, its influence has spread beyond IBM.

In my reading, the heart of the method is a logical formalism which represents the operation and flow of a program in a language-neutral fashion. This is described straightforwardly in the text, and other aspects of the software development process are described from the CSE point of view.

For the programmer, this approach most basically moves the focus from "what am I doing" to "how am I doing it." Considerations of logical branching and set completeness of operations come to the fore through this analysis. This is an essential step in moving from a coder to a programmer. In a team setting, this provides a "style neutral" approach to identifying the logical structure of each member's program contribution.

I feel somewhat about this formalism they way I felt about flow charts in college. The concept is good. The visual provided by flow charts is helpful as a training approach. But, the formalism simply replicates the logic of the application.

At the same time, well-constructed code with well-chosen function and variable names can pretty much emulate the symbolic representation of CSE. So, I'd go a step further and suggest that one simply model one's coding style on the formalism. That avoids the double work and duplication of the program logic.

5 people found this helpful

Helpful

Not Helpful

Comment

A customer

Excellent

February 9, 1999

Format: Paperback

This book is a clear, practical introduction to the Cleanroom method. Though designed as a textbook, it is also suitable for professionals.
It includes a useful bibliography, with suggestions at the end of the chapters for further reading. The final chapter sketches some areas not covered, giving references.
There are some areas intentionally omitted or only sketched, though references are provided. These include: (1) using "black boxes, state boxes, and clear boxes" for top-down development. (2) introducing Cleanroom methods in an organization (3) organizing a Cleanroom team.
Mathematically, the book is very easy going. For example, some methods which, technically, would require proof are not proved. Those of us who easily digest such details can readily fill in gaps, while others are probably happy to be spared.
The book provided an unusually high return of useful content per unit time invested in reading it, and as such I recommend it highly.

7 people found this helpful

Helpful

Not Helpful

Comment