Toward Zero-Defect Programming

Stavely, Allan M.

ISBN 10: 0201385953 / ISBN 13: 9780201385953

Editore: Addison-Wesley Professional, 1998

Riguardo questo articolo

Used - Very Good.

Codice articolo 4-H-11-1349

Dati bibliografici

• Titolo: Toward Zero-Defect Programming
• Editore: Addison-Wesley Professional
• Data di pubblicazione: 1998
• Lingua: Inglese
• ISBN 10: 0201385953
• ISBN 13: 9780201385953
• Rilegatura: paperback
• Edizione: 1st Edition.
• Condizione: Very Good

Descrizione articolo

Riassunto

• 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.

Informazioni sull?autore

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