Cleanroom Software Development - 4
Three Cleanroom teams
- specification team: developing and maintaining the system specification
- development team: developing and verifying the software. Software is not executed but formal approach to verification (e.g. code inspection) is used
- certification team: developing a set of statistical tests based on the formal specification
Cleanroom approach purported to be more effective than “traditional” approach
- experimentation may not have compared to best alternatives or used representative developers
- definitely lends credence to development using formal specification and verification