The Cleanroom Approach to Quality Software Development
Michael E. Dyer · Medical Entomology and Zoology · 1992
What Is the Cleanroom Method?. What Has Been the Experience with Cleanroom?. How To Get Started with Cleanroom. The How To's of Cleanroom Software Development. The How To's of Correctness Verification. The How To's of Cleanroom Testing. Software Reliability. Where Can Cleanroom Lead?. Appendices. Index.