Toward zero-defect programming

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

Full description

Bibliographic Details

Main Author:	Stavely, Allan M
Format:	Book
Language:	English
Published:	Reading, Mass Addison-Wesley 1999
Subjects:	Computer software > Quality control Computer software > Verification
Tags:	Add Tag No Tags, Be the first to tag this record!