A case study in cleanroom software engineering: the IBM COBOL Structuring Facility

Author

Linger, Richard C. ; Mills, Harlan D.

Author_Institution

IBM Corp., Bethesda, MD, USA

fYear

1988

fDate

5-7 Oct. 1988

Firstpage

10

Lastpage

17

Abstract

The IBM COBOL Structuring Facility program product was developed using cleanroom software engineering technology in a pipeline of increments with very high quality and productivity. In the cleanroom approach, programs are developed under statistical quality control and mathematical verification is used in place of unit debugging. The formal methods of specification, design, functional verification, and testing are described, together with development and management practices required for maintaining intellectual control over the process.<>

Keywords

COBOL; DP management; formal specification; program testing; software engineering; software tools; DP management; IBM COBOL Structuring Facility; cleanroom software engineering; formal design; formal specification; functional verification; intellectual control; mathematical verification; program testing; statistical quality control; Arithmetic; Computer aided software engineering; Debugging; Design methodology; Milling machines; Pipelines; Productivity; Quality control; Software engineering; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1988. COMPSAC 88. Proceedings., Twelfth International

Conference_Location

Chicago, IL, USA

Print_ISBN

0-8186-0873-0

Type

conf

DOI

10.1109/CMPSAC.1988.17141

Filename

17141