Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London
About this chapter
Cite this chapter
Linger, R.C., Trammell, C.J. (1999). Cleanroom Software Engineering: Theory and Practice. In: Hinchey, M.G., Bowen, J.P. (eds) Industrial-Strength Formal Methods in Practice. Formal Approaches to Computing and Information Technology (FACIT). Springer, London. https://doi.org/10.1007/978-1-4471-0523-7_16
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0523-7_16
Publisher Name: Springer, London
Print ISBN: 978-1-85233-640-0
Online ISBN: 978-1-4471-0523-7
eBook Packages: Springer Book Archive