Integrated CASE for Cleanroom Development

Authors:
Alan R. Hevner;Shirley A. Becker;Lenard B. Pedowitz
Affiliations:
-;-;-
Venue:
IEEE Software
Year:
1992

Citing 7
Cited 1

Stepwise Refinement and Verification in Box-Structured Systems

Computer
Object oriented design with applications

Object oriented design with applications
A Specifier's Introduction to Formal Methods

Computer
Structured Programming; Theory and Practice the Systems Programming Series

Structured Programming; Theory and Practice the Systems Programming Series
Engineering Software Under Statistical Quality Control

IEEE Software
Implementing tool support for box structures

IBM Systems Journal
Box-structured methods for systems development with objects

IBM Systems Journal

Box-structured methods for systems development with objects

IBM Systems Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.