A case study in cleanroom software engineering: the IBM COBOL Structuring Facility
- 6 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Correction to 'Certifying the reliability of software' (Jan. 1986 3-11)IEEE Transactions on Software Engineering, 1989
- Cleanroom Software EngineeringIEEE Software, 1987
- Box structured information systemsIBM Systems Journal, 1987
- Structured Programming: Retrospect and ProspectIEEE Software, 1986
- Data structured programming: Program design without arrays and pointersIEEE Transactions on Software Engineering, 1986
- The Science of ProgrammingPublished by Springer Nature ,1981
- An axiomatic basis for computer programmingCommunications of the ACM, 1969