Rated 4.8/5 based on 108
Awesome Book - by , @book.updated_at
5/ 5stars
This is an awesome book, we should definitely buy it.
Toward Zero Defect Programming

Book Specification

Binding Paperback
Language English
Number Of Pages 256
Author Allan M. Stavely
Publisher Addison Wesley
Isbn-10 0201385953
Isbn-13 9780201385953
Dimension 15.75*1.52*22.86

Toward Zero Defect Programming

Allan M. Stavely's Toward Zero Defect Programming

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.

Popular Tags: Defects Software Cleanroom Methods Specification Book Engineers IBM Mathematical Nearly Team Process Write Other Topics

Store Price Buy Now
Amazon, Paperback Rs. 1291.5
Flipkart, Paperback Rs. 1726.0

Why you should read Toward Zero Defect Programming by Allan M. Stavely

This book has been written by Allan M. Stavely, who has written books like Toward Zero Defect Programming. The books are written in Programming & Software Development category. This book is read by people who are interested in reading books in category : Programming & Software Development. So, if you want to explore books similar to This book, you must read and buy this book.

How long would it take for you to read Toward Zero Defect Programming

Depending on your reading style, this is how much time you would take to complete reading this book.

Reading Style Time To Finish The Book
Slow 51 hours
Average 25 hours
Good 17 hours
Excellent 8 hours
So if you are a Reader belonging in the Good category, and you read it daily for 1 hour, it will take you 17 days.
Note: A slow reader usually reads 100 words per minute, an average reader 200 words per minute, an average reader 300 words per minute and an excellent leader reads about 600-1000 words per minute, however the comprehension may vary.

Searches in World for Toward Zero Defect Programming

City Country Count
Top Read Books

Top Reads