ISBN 0471548235 The Cleanroom Approach to Quality Software Development (Wiley Series in Software Engineering Practice) -- "Describes the first practical attempt to place software development under statistical quality control and to deliver software with a known and certified meantime to failure. Shows how to improve productivity during software development using statistical design methods, and gives guidelines for writing more precise specifications, building simpler designs and avoiding error rework."