Cleanroom Software
| AUTHOR | Poore, Jesse; Poore; Poore, Jesse et al. |
| PUBLISHER | Wiley-Blackwell (06/03/1996) |
| PRODUCT TYPE | Hardcover (Hardcover) |
The Cleanroom method is one of the few fully articulated life cycle process models in software engineering today and involves:
*Incremental development under statistical process review.
*Formal methods for specification, design and verification.
*Statistical reliability certification.
A Reader in Classroom Software Engineering gathers together, for the first time, the most up-to-date material available to form an in-depth treatment of the complete Cleanroom process.
The Cleanroom method is one of the few fully articulated life cycle process models in software engineering today and involves:
*Incremental development under statistical process review.
*Formal methods for specification, design and verification.
*Statistical reliability certification.
A Reader in Classroom Software Engineering gathers together, for the first time, the most up-to-date material available to form an in-depth treatment of the complete Cleanroom process.
The Cleanroom method is one of the few fully articulated life cycle process models in software engineering today and involves:
*Incremental development under statistical process review.
*Formal methods for specification, design and verification.
*Statistical reliability certification.
A Reader in Classroom Software Engineering gathers together, for the first time, the most up-to-date material available to form an in-depth treatment of the complete Cleanroom process.
