Cleanroom Software Engineering: Theory and Practice

  • Richard C. Linger
  • Carmen J. Trammell
Part of the Formal Approaches to Computing and Information Technology (FACIT) book series (FACIT)


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.


Usage Model Statistical Quality Control Incremental Development Testing Chain Correctness Theorem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 1999

Authors and Affiliations

  • Richard C. Linger
  • Carmen J. Trammell

There are no affiliations available

Personalised recommendations