Cleanroom Software Engineering Practices

"Cleanroom Software Engineering" is a set of techniques and practices for the specification, development and certification of software-intensive systems. The Cleanroom method has been used successfully on projects of various sizes and levels of complexity but success stories of its use have focused on a particular aspects or on the final results but rarely on its actual implementation. Shirley Becker and James Whittaker collaborated with other known practitioners to develop a comprehensive set of guidelines for the implementation of Cleanroom. Cleanroom Software Engineering Practices brings together concepts, lessons learned and best practices resulting from Cleanroom projects with which the authors participated in the past several years. This valuable book covers: specification and design of intended behavior; incremental development process model; stepwise refinement of specifications to code; correctness verification of developed code; statistical certification of compiled software products and much more! "Cleanroom Software Engineering" is a set of techniques and practices for the specification, development and certification of software-intensive systems. The Cleanroom method has been used successfully on projects of various sizes and levels of complexity but success stories of its use have focused on a particular aspects or on the final results but rarely on its actual implementation.