Achieving software quality through Cleanroom software engineering

Author

Linger, Richard C. ; Hevner, Alan R.

Author_Institution

IBM Corp., Gaithersburg, MD, USA

fYear

1993

fDate

5-8 Jan 1993

Firstpage

740

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;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on

Conference_Location

Wailea, HI

Print_ISBN

0-8186-3230-5

Type

conf

DOI

10.1109/HICSS.1993.284260

Filename

284260