Cleanroom Software Engineering Practices (Series in Software Engineering Management)

The Cleanroom approach to systems engineering continues to gain popularity as a means of developing high-quality software systems. Cleanroom provides a formal basis for system specification, development, and certification that typically results in the production of low defect software and arbitrary size and complexity. "Cleanroom Software Engineering Practices" provides a comprehensive, pragmatic approach for practitioners and academics by presenting individual and collaborative experiences with Cleanroom in a practical format.