cleanroom software engineering : technology and process
the concept of cleanroom software engineering greatly reduces defects even before the software testing stage . this formalized software development process created at ibm allows software project participants to examine software mathematically and