Table of Contents

An overview of cleanroom software engineering. 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.

About the Author

Jesse Poore is the author of Cleanroom Software Engineering: A Reader, published by Wiley.