000			01836nam a2200313 a 4500
999			_c11886 _d11886
001			vtls000003528
003			MY-PjKIC
005			20210715090237.0
008			100211t1999 000 0 eng d
020			_a0201385953
035			_a0201385953
039		9	_a201002111740 _bVLOAD _c201002111614 _dVLOAD _c201002111412 _dVLOAD _c201002111412 _dVLOAD
040			_cFCUC
082			_a005.10685 STA 1999
090			_a005.10685 STA 1999
100	1		_aStavely, Allan M.
245	1	0	_aToward zero-defect programming / _cAllan M. Stavely.
246	3	0	_aZero-defect programming.
260			_aReading, Mass. : _bAddison-Wesley, _cc1999.
300			_axiv, 240 p. : _bill. ; _c24 cm.
504			_aIncludes bibliographical references (p. 227-234) and index.
520	1		_a"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.
650		0	_aComputer software _xQuality control.
650		0	_aComputer software _xVerification.
942			_2ddc _c3