Toward zero-defect programming / Allan M. Stavely.

By:

Stavely, Allan M

Material type: Text

TextPublication details: Reading, Mass. : Addison-Wesley, c1999.Description: xiv, 240 p. : ill. ; 24 cmISBN:

0201385953

Other title:

Zero-defect programming

Subject(s):

DDC classification:

005.10685 STA 1999

Review: "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."--BOOK JACKET. "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, and 3. testing."--BOOK JACKET.

Average rating: 0.0 (0 votes)

Holdings ( 3 )
Title notes ( 2 )

Holdings
Item type	Current library	Home library	Collection	Shelving location	Call number	Status	Barcode
Open Collection	FIRST CITY UNIVERSITY COLLEGE	FIRST CITY UNIVERSITY COLLEGE	Open Collection	FCUC Library	005.10685 STA 1999 (Browse shelf(Opens below))	Available	00008264
Open Collection	FIRST CITY UNIVERSITY COLLEGE	FIRST CITY UNIVERSITY COLLEGE	Open Collection	FCUC Library	005.10685 STA 1999 (Browse shelf(Opens below))	Available	00008263
Open Collection	FIRST CITY UNIVERSITY COLLEGE	FIRST CITY UNIVERSITY COLLEGE	Open Collection	FCUC Library	005.10685 STA 1999 (Browse shelf(Opens below))	Available	00008262

Total holds: 0

Includes bibliographical references (p. 227-234) and index.

"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."--BOOK JACKET. "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, and 3. testing."--BOOK JACKET.