Integrated CASE for cleanroom development

An integrated CASE environment for performing cleanroom systems engineering is proposed. The cleanroom integrated CASE environment is viewed as a series of iterative development activities. The fundamental integrating concepts and principles of cleanroom engineering provide a seamless development environment, with no information loss or artificial bridges between activities. It is shown that the integrated CASE environment for cleanroom systems development requires a formal methodology that covers the entire development process, which comprises cleanroom development concepts, a central repository of development information and a set of automated tools that work together transparently through the common repository. Three projects representative of experience in implementation of cleanroom CASE are discussed: a structuring facility for Cobol, a real-time system, and compiler components for a runtime library.<
>