Cleanroom Software Engineering
A Reader
BBL Custom Course
1. Auflage April 1996
392 Seiten, Hardcover
Wiley & Sons Ltd
The software industry is in transition from craft work to
engineering practice, but development, operational and maintenance
overheads are still unpredictable and expensive. Cleanroom Software
engineering is the first practical development and certification to
use statistical quality control to reduce software defects and
costs. It has already distinguished itself as a complete software
life cycle process with sound foundations in theory and
demonstrated effectiveness in practice.
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.
Part 1 Adopting cleanroom software engineering with a phased approach, P. Hauser et al.
Part 2 Cleanroom management: current practice in cleanroom management
Cleanroom software engineering, H. Mills et al
Cleanroom - an alternative software development approach, H. Mills
The cleanroom approach to six-igma software, J. Poore
Planning and certifying softsware system reliability, J. Poore et al
Cleanroom process model, R. Linger
Evolving practice in cleanroom management.
Part 3 Cleanroom development: current practice in cleanroom developments
Box-structured information systems, H. Mills
Stepwise refinement and verification in box-structured systems, H. Mills
Correctness verification - alternative to structure testing, M. Dyer and A. Kouchakjian
Reuse and cleanroom, E. Karlsson
Six-sigma software using cleanroom software engineering techniques, G. Head
Evolving practice in cleanroom development.
Part 4 Cleanroom certification.
Part 5 Certification case studies. Appendices: training and consultation tools
