Title :
Achieving software quality through Cleanroom software engineering
Author :
Linger, Richard C. ; Hevner, Alan R.
Author_Institution :
IBM Corp., Gaithersburg, MD, USA
Abstract :
Describes a success story in the use of modern technologies for software quality improvement. The Cleanroom software engineering process for zero-defect software has been successfully applied on development projects in a variety of environments with remarkable quality results. Cleanroom is based on formal, theory-based methods for software specification, design, correctness verification, and statistical quality certification. The authors survey a number of Cleanroom projects and demonstrate achievement of the following objectives: superior quality through Cleanroom software development; successful, cost-effective Cleanroom technology transfer to software development teams; and sharp reduction in effort to maintain and evolve Cleanroom software products
Keywords :
formal specification; program verification; software maintenance; software quality; technology transfer; Cleanroom software engineering process; formal methods; product evolution; software correctness verification; software design; software development; software maintenance; software quality; software specification; statistical quality certification; technology transfer; zero-defect software; Management information systems; Probability; Programming; Software engineering; Software maintenance; Software measurement; Software quality; Software standards; Standards development; Total quality management;
Conference_Titel :
System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-3230-5
DOI :
10.1109/HICSS.1993.284260
