GDPA  
CLEANROOM  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Contents  
  • Identification
  • Institution
  • Observations
  • Publications

    • Identification

    CLEANROOM

    Institution

    IBM

    Observations

    Cleanroom software engineering is a theory-based, team-oriented engineering process for developing very high quality software under statistical quality control. The Cleanroom process combines formal methods of object-based box structure specification and design, function-theoretic correctness verification, and statistical usage testing for reliability certification to produce software approaching zero defects. Management of the Cleanroom process is based on a life cycle of development and certification of a pipeline of user-function increments that accumulate into the final product.

    Publications

    1999:
    /Prowell, 1999/ Cleanroom Software Engineering: Technology and Process

    1994:
    /Hausler, 1994/ Adopting Cleanroom software engineering with a phased approach

    1987:
    /Mills, 1987/ Cleanroom Software Engineering
    /Selby, 1987/ CLEANROOM Software Development: An Empirical Evaluation

    GDPA Online Last Updated 02.May.2002 Updated by Webmaster Last Revised 02.May.2002 Revised by Webmaster