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

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.<<ETX>>

[1]  Harlan D. Mills,et al.  Structured programming - theory and practice , 1979, The systems programming series.

[2]  Harlan D. Mills.  Structured Programming: Retrospect and Prospect , 1986, IEEE Software.

[3]  Harlan D. Mills,et al.  Correction to 'Certifying the reliability of software' (Jan. 1986 3-11) , 1989 .

[4]  Harlan D. Mills,et al.  Cleanroom Software Engineering , 1987, IEEE Software.

[5]  Harlan D. Mills,et al.  Certifying the reliability of software , 1986, IEEE Transactions on Software Engineering.

[6]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[7]  Harlan D. Mills,et al.  Data structured programming: Program design without arrays and pointers , 1986, IEEE Transactions on Software Engineering.

[8]  Alan R. Hevner,et al.  Box Structured Information Systems , 1987, IBM Syst. J..

[9]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[10]  Capers Jones,et al.  Programming Productivity , 1986 .

[11]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.