Elsevier

Decision Support Systems

Volume 17, Issue 1, 22 April 1996, Pages 55-71
Decision Support Systems

The incremental development process in Cleanroom software engineering

https://doi.org/10.1016/0167-9236(95)00022-4Get rights and content

Abstract

The objective of this paper is to present the theoretical basis and practical application of incremental development in the Cleanroom software engineering process. Incremental development is based on the mathematical principle of referential transparency. Cleanroom uses incremental development to build systems in a succession of cumulative subsets of user function. The increments accumulate top-down into the final product in a development and certification pipeline. Increment planning occurs after top-level specification, and results in a construction plan for the software. Factors determining the composition of increments include clarity of requirements, usage probability of user functions, reliability requirements for subsystems, coordination with the hardware development schedule, dependencies between functions, complexity, reuse, or other factors that pose risks to the project. Each increment involves a complete development and certification cycle. The first increment is a minimal system, and the final increment is the complete system. User feedback on each increment is a gauge on whether the right system is being built, and quality measures in each increment are a gauge on whether the system is being built right. Benefits of incremental development include customer feedback on the evolving system, intellectual control of the technical work, and management control of the schedule and budget. While incremental development may be used with other development methods, it is particularly effective when used with the formal methods in the Cleanroom process.

References (21)

  • R. Linger

    Cleanroom Process Model

    IEEE Software

    (March, 1994)
  • B. Boehm

    A Spiral Model of Software Development and Enhancement

    Computer

    (May, 1988)
  • B. Boehm

    Software Process Models: Some New Directions

    Journal of the Society for Software Quality

    (April, 1994)
    B. Boehm

    Software Process Models: Some New Directions

    Journal of the Society for Software Quality

    (May, 1994)
  • F. Brooks

    No Silver Bullet: Essence and Accidents of Software Engineering

    Computer

    (April, 1987)
  • R. Cobb et al.

    Engineering Software Under Statistical Quality Control

    IEEE Software

    (November, 1990)
  • Department of Defense

    Report of the Defense Science Board Task Force on Military Software

    (September, 1987)
  • P. Hausler et al.

    Adopting Cleanroom Software Engineering with a Phased Approach

    IBM Systems Journal

    (1994)
  • A. Hevner et al.

    Box Structure Methods for Systems Development with Objects

    IBM Systems Journal

    (1993)
  • A. Hevner et al.

    Box-Structured Requirements Determination Methods

    Decision Support Systems

    (1995)
  • R. Linger et al.

    A Case Study in Cleanroom Software Engineering: The IBM COBOL Structuring Facility

There are more references available in the full text version of this article.

Cited by (12)

  • Eras of business computing

    2000, Advances in Computers
  • Phase containment metrics for software quality improvement

    1997, Information and Software Technology
  • Towards quantitative software reliability assessment in incremental development processes

    2011, Proceedings - International Conference on Software Engineering
  • A contingency model for requirements development

    2007, Journal of the Association for Information Systems
View all citing articles on Scopus
View full text