Allen M Stavely, Allan M. Stavely - Describes current methods for writing nearly bugfree programs based on practices developed at IBM & elsewhere under the name Cleanroom Software Engineering. In a concise & well-illustrated presentation, the author shows how these methods can be applied in 3 key areas of software development: specification, verification, & testing. Paper. DLC: Computer software - Quality control.