Cleanroom software engineering is a course of for creating and certifying high-reliability software. Combining idea-based engineering utilized sciences in enterprise administration, incremental enchancment, software specification and design, correctness verification, and statistical high high quality certification, the Cleanroom course of options at current's identify for additional reliable software and provides methods for inexpensive software enchancment.
Cleanroom originated with Harlan D. Mills, an IBM Fellow and a visionary in software engineering. Written by colleagues of Mills and a lot of probably the most expert builders and practitioners of Cleanroom, Cleanroom Software Engineering presents a roadmap for software administration, enchancment, and testing as disciplined engineering practices. This book serves every as an introduction for these new to Cleanroom and as a reference info for the rising practitioner group. Readers will uncover a confirmed technique to extend every high high quality and productiveness of their software-intensive merchandise, whereas reducing costs.
Highlights Explains main Cleanroom idea Introduces the sequence-based specification method Elaborates the entire administration, enchancment, and certification course of in a Cleanroom Reference Model (CRM) Reveals how the Cleanroom course of dovetails with the SEI's Performance Maturity Model for Software (CMM) Consists of an enormous case analysis for instance how Cleanroom methods scale as a lot as big duties.