Skip to main content
SpringerLink
Log in

The IBM Cleanroom software engineering technology transfer program

  • Session 12: Corporate Experience
  • Conference paper
  • First Online:
Software Engineering Education (SEI 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 640))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Mills, H.D., M. Dyer, and R.C. Linger, “Cleanroom Software Engineering,” IEEE Software, September, 1987, pp. 19–25.

    Google Scholar 

  2. Cobb, R.H. and H.D. Mills, “Engineering Software Under Statistical Quality Control,” IEEE Software, November, 1990, pp. 44–54.

    Google Scholar 

  3. Linger, R.C., “Cleanroom Software Engineering for Zero-Defect Software,” submitted for publication, 1992.

    Google Scholar 

  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. 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. 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. Mills, H.D., “Stepwise Refinement and Verification in Box-Structured Systems,” IEEE Computer, June, 1988, pp. 23–36.

    Google Scholar 

  8. Linger, R.C., H.D. Mills, and B.I. Witt, Structured Programming: Theory and Practice, Addison-Wesley, Reading, MA, 1979.

    Google Scholar 

  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. 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. 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. Linger, R.C., “The Cleanroom Software Technology Center,” Creativity! (ASD-WMA Edition), IBM Corporation, March, 1991.

    Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. IBM Cleanroom Software Technology Center, 100 Lakeforest Boulevard, 20877, Gaithersburg, MD

    Richard C. Linger & R. Alan Spangler

Authors
  1. Richard C. Linger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Alan Spangler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Carol Sledge

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Linger, R.C., Spangler, R.A. (1992). The IBM Cleanroom software engineering technology transfer program. In: Sledge, C. (eds) Software Engineering Education. SEI 1992. Lecture Notes in Computer Science, vol 640. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55963-9_64

Download citation

  • DOI: https://doi.org/10.1007/3-540-55963-9_64

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55963-4

  • Online ISBN: 978-3-540-47330-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation