Cleanroom Software Engineering: Technology and Process

Cleanroom software engineering is a process for developing and certifying high-reliability software. Combining theory-based engineering technologies in project management, incremental development, software specification and design, correctness verification, and statistical quality certification, the Cleanroom process answers today's call for more reliable software and provides methods for more cost-effective software development.

This book provides an introduction and in-depth description of the Cleanroom approach to high-quality software development. Following an explanation of basic Cleanroom theory and practice, the authors draw on their extensive experience in industry to elaborate the Cleanroom development and certification process and show how this process is compatible with the Capability Maturity Model (CMM). 

Format: Hardback