FirstCity
Welcome to First City University College Library iPortal | library@firstcity.edu.my | +603-7735 2088 (Ext. 519)
Amazon cover image
Image from Amazon.com

Toward zero-defect programming / Allan M. Stavely.

By: Material type: TextTextPublication 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.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Shelving location Call number Status Date due Barcode Item holds
Open Collection 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 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 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
Browsing FIRST CITY UNIVERSITY COLLEGE shelves, Shelving location: FCUC Library, Collection: Open Collection Close shelf browser (Hides shelf browser)
005.10685 SAN 1994 Software quality : 005.10685 STA 1999 Toward zero-defect programming / 005.10685 STA 1999 Toward zero-defect programming / 005.10685 STA 1999 Toward zero-defect programming / 005.11 LIP 2002 eXtreme programming in action : 005.11 SAN 2000 LISP programming / 005.113 BOH 2008 Tools for structured and object-oriented design :

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.