Cleanroom Software Engineering: Theory and Practice
Cleanroom software engineering is a rigorous engineering discipline for the development and certification of high-reliability software systems under statistical quality control (Mills, 1992; Linger, 1993, 1994). The Cleanroom name is borrowed from hardware cleanrooms, with their emphasis on process control and focus on defect prevention rather than defect removal. Cleanroom combines mathematically-based methods of software specification, design, and correctness verification with statistical usage testing to certify software fitness for use.
KeywordsEncapsulation Veri Mellon Alloca
Unable to display preview. Download preview PDF.