Cleanroom Software Engineering: A Reader
June 1996, Wiley-Blackwell
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.
*Up-to-date and expert content.
*Provides authorative commentary with a selection of seven case studies.
*Relates software engineering theory and practice wherever possible to appeal to practioners, academics and students.
Cleanroom Software Engineering: A Reader (US $114.95)
Total List Price: US $164.94
Discounted Price: US $123.70 (Save: US $41.24)