Cleanroom [Harlan Mills]
Cleanroom combines managerial and technical activities into a process intended to lead to very high quality software
- Combines formal methods with statistical testing for reliability with incremental development
- Does not allow unit execution or testing
Effectiveness is a controversial issue