Advertisement

The IBM Cleanroom software engineering technology transfer program

  • Richard C. Linger
  • R. Alan Spangler
Session 12: Corporate Experience
Part of the Lecture Notes in Computer Science book series (LNCS, volume 640)

Abstract

Cleanroom software engineering is a theory-based, team-oriented process for developing zero-defect software with high probability. Cleanroom places software development under statistical quality control to permit scientific certification of product quality. Technologies applied in Cleanroom include box structure specification of user function and object architecture, function-theoretic design and correctness verification, and statistical usage testing for quality certification. Cleanroom management is based on incremental development of a pipeline of user-function increments that accumulate into the final product. The IBM Cleanroom Software Technology Center (CSTC) provides technology transfer services to IBM product laboratories and customers for initiating Cleanroom team operations. The technology transfer includes education, consultation, and tool development. Consultation support after education is a critical success factor, as are management commitment and team motivation. Experience shows Cleanroom produces remarkable quality results that more than offset the cost of technology transfer.

Keywords

Technology Transfer Intended Function Statistical Quality Control Quality Certification Incremental Development 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Mills, H.D., M. Dyer, and R.C. Linger, “Cleanroom Software Engineering,” IEEE Software, September, 1987, pp. 19–25.Google Scholar
  2. 2.
    Cobb, R.H. and H.D. Mills, “Engineering Software Under Statistical Quality Control,” IEEE Software, November, 1990, pp. 44–54.Google Scholar
  3. 3.
    Linger, R.C., “Cleanroom Software Engineering for Zero-Defect Software,” submitted for publication, 1992.Google Scholar
  4. 4.
    Mills, H.D., R.C. Linger, and A.R. Hevner, Principles of Information Systems Analysis and Design, Academic Press, San Diego, CA, 1986.Google Scholar
  5. 5.
    Mills, H.D., R.C. Linger, and A.R. Hevner, “Box Structured Information Systems,” IBM Systems Journal, Vol. 26, No. 4, 1987, pp. 393–413.Google Scholar
  6. 6.
    Deck, M.D, M.G. Pleszkoch, R.C. Linger, and H.D. Mills, “Extended Semantics for Box Structures,” Proc. 25th Hawaii International Conference on System Sciences, IEEE Computer Society Press, January, 1992, pp. 382–393.Google Scholar
  7. 7.
    Mills, H.D., “Stepwise Refinement and Verification in Box-Structured Systems,” IEEE Computer, June, 1988, pp. 23–36.Google Scholar
  8. 8.
    Linger, R.C., H.D. Mills, and B.I. Witt, Structured Programming: Theory and Practice, Addison-Wesley, Reading, MA, 1979.Google Scholar
  9. 9.
    Mills, H.D., “Certifying the Correctness of Software,” Proc. 25th Hawaii International Conference on System Sciences, IEEE Computer Society Press, January, 1992, pp. 373–381.Google Scholar
  10. 10.
    Whittaker, J.A. and J.H. Poore, “Statistical Testing for Cleanroom Software Engineering,” Proc. 25th Hawaii International Conference on System Sciences, IEEE Computer Society Press, January, 1992, pp. 428–436.Google Scholar
  11. 11.
    Linger, R.C. and H.D. Mills, “A Case Study in Cleanroom Software Engineering: The IBM COBOL Structuring Facility,” Proc. 12th International Computer Science and Applications Conference, IEEE Computer Society Press, October, 1988.Google Scholar
  12. 12.
    Linger, R.C., “The Cleanroom Software Technology Center,” Creativity! (ASD-WMA Edition), IBM Corporation, March, 1991.Google Scholar
  13. 13.
    Rosen, S.J., “Design Languages for Cleanroom Software Engineering,” Proc. 25th Hawaii International Conference on System Sciences, IEEE Computer Society Press, January, 1992, pp. 406–417.Google Scholar
  14. 14.
    Trammell, C.J., L.H. Binder, and C.E. Snyder, “The Automated Production Control System: A Case Study in Cleanroom Software Engineering,” ACM Transactions on Software Engineering and Methodology,” Vol. 1, No. 1, January, 1992, pp. 81–94.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Richard C. Linger
    • 1
  • R. Alan Spangler
    • 1
  1. 1.IBM Cleanroom Software Technology CenterGaithersburg

Personalised recommendations