Toward Zero-Defect Programming

Valutazione media 4,17
( su 6 valutazioni fornite da Goodreads )
 
9780201385953: Toward Zero-Defect Programming
Vedi tutte le copie di questo ISBN:
 
 

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

L'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

Dalla quarta di copertina:

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:

  1. specification
  2. verification
  3. 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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

1.

Stavely, Allan M.
Editore: Longman Group
ISBN 10: 0201385953 ISBN 13: 9780201385953
Nuovo Quantità: 1
Da
Majestic Books
(London, Regno Unito)
Valutazione libreria

Descrizione libro Longman Group. Condizione: New. pp. 256. Codice articolo 5782409

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 21,48
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,32
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

2.

Stavely, Allan M.
ISBN 10: 0201385953 ISBN 13: 9780201385953
Nuovo Quantità: 1
Da
BennettBooksLtd
(San Diego, CA, U.S.A.)
Valutazione libreria

Descrizione libro Condizione: New. New. Codice articolo S-0201385953

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 77,76
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,08
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

3.

Stavely, Allan M.
ISBN 10: 0201385953 ISBN 13: 9780201385953
Nuovo Quantità: 1
Da
BennettBooksLtd
(San Diego, CA, U.S.A.)
Valutazione libreria

Descrizione libro Condizione: New. New. Codice articolo EX-0201385953

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 77,76
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,08
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

4.

Allan M. Stavely
Editore: Addison Wesley (1998)
ISBN 10: 0201385953 ISBN 13: 9780201385953
Nuovo Rilegato Prima edizione Quantità: 1
Da
ECOSPHERE
(Champs sur marne, Francia)
Valutazione libreria

Descrizione libro Addison Wesley, 1998. Couverture rigide. Condizione: Neuf. Edition originale. Codice articolo ABE-18152832868

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 50,00
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 35,00
Da: Francia a: U.S.A.
Destinazione, tempi e costi