Cleanroom Software Engineering
How many times have you heard someone say "Do it right the first time"? That's the overriding philosophy of cleanroom software engineering - a process that emphasizes mathematical verification of correctness before program construction commences and certification of software reliability as part of the testing activity. The bottom line: extremely low failure rates that would be difficult or impossible to achieve using less formal methods. The following topic categories are presented:
Cleanroom Resources
General Information
Methods and Tools
Books
Cleanroom Resources
Cleanroom Software Engineering Resources - 1
An excellent source of information and resources for Cleanroom Software Engineering has been prepared by CleanSoft.
Cleanroom Software Engineering Resources - 2
A useful list of cleanroom resoruces has been prepared by DoD's DACS.
Cleanroom Software Engineering Resources - 3
A small list of resources compiled by the Boston SPIN.
Cleanroom Software Engineering Resources - 4
A small list of Cleanrrom resources.
Cleanroom Software Engineering Resources - 5
Links provided by Quality resources Online.
General Information
Cleanroom Overview
A reasonably detailed overview of Cleanroom methods. Recommended for those who need an introduction.
Cleanroom Technology Review
An SEI review of cleanroom technology.
Proof of Correctness Tutorial
A tutorial on "Proof Methods" can be accessed at this site.
Cleanroom Software Engineering Reference Model
This SEI report "defines the Cleanroom Software Engineering Reference Model, or CRM. The CRM is expressed in terms of a set of 14 Cleanroom processes and 20 work products. It is intended as a guide for Cleanroom project management and performance, process assessment and improvement, and technology transfer and adoption."
Cleanroom Tutorial
A quick overview of the subject.
Cleanroom Bibliography
A print bibliography with some links to downloadable papers.
Methods and Tools
Cleanroom Tools
Tools to support Cleanroom SE.
Books 
Prowell et al. (Cleanroom Software Engineering: Technology and Process, Addison-Wesley, 1999) provides an in-depth treatment of all important aspects of the cleanroom approach. Useful discussions of cleanroom topics have been edited by Poore and Trammell (Cleanroom Software Engineering: A Reader, Blackwell Publishing, 1996). Becker and Whittaker (Cleanroom Software Engineering Practices, Idea Group Publishing, 1996) present an excellent overview for those who are unfamiliar with cleanroom practices.
The Software Technology Support Center (Hill AF Base, April 1995) provides The Cleanroom Pamphlet which contains reprints of a number of important articles. The Data and Analysis Center for Software (DACS) provides many useful papers, guidebooks and other information sources on cleanroom software engineering.
Linger and Trammell (Cleanroom Software Engineering Reference Model, SEI Technical Report CMU/SEI-96-TR-022, 1996) have defined a set of 14 cleanroom processes and 20 work products that form the basis for the SEI CMM for cleanroom software engineering (CMU/SEI-96-TR-023).
Michael Deck of Cleanroom Software Engineering has prepared a bibliography on cleanroom topics. Many are available in downloadable format.
Design verification via proof of correctness lies at the heart of the cleanroom approach. Books by Stavely (Toward Zero-Defect Software, Addison-Wesley, 1998), Baber (Error-Free Software, Wiley, 1991) and Schulmeyer (Zero Defect Software, McGraw-Hill, 1990) discuss proof of correctness in considerable detail.
|
