Title :
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
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;
Conference_Titel :
Computer Software and Applications Conference, 1988. COMPSAC 88. Proceedings., Twelfth International
Conference_Location :
Chicago, IL, USA
Print_ISBN :
0-8186-0873-0
DOI :
10.1109/CMPSAC.1988.17141
