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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Mills, H.D., M. Dyer, and R.C. Linger, “Cleanroom Software Engineering,” IEEE Software, September, 1987, pp. 19–25.
Cobb, R.H. and H.D. Mills, “Engineering Software Under Statistical Quality Control,” IEEE Software, November, 1990, pp. 44–54.
Linger, R.C., “Cleanroom Software Engineering for Zero-Defect Software,” submitted for publication, 1992.
Mills, H.D., R.C. Linger, and A.R. Hevner, Principles of Information Systems Analysis and Design, Academic Press, San Diego, CA, 1986.
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.
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.
Mills, H.D., “Stepwise Refinement and Verification in Box-Structured Systems,” IEEE Computer, June, 1988, pp. 23–36.
Linger, R.C., H.D. Mills, and B.I. Witt, Structured Programming: Theory and Practice, Addison-Wesley, Reading, MA, 1979.
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.
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.
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.
Linger, R.C., “The Cleanroom Software Technology Center,” Creativity! (ASD-WMA Edition), IBM Corporation, March, 1991.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights 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