A Review of Cleanroom Software Engineering
Cleanroom process model