Cleanroom software engineering for zero-defect software

This publication has 12 references indexed in Scilit:

• A case study in cleanroom software engineering: the IBM COBOL Structuring Facility
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Function-theoretic principles of program understanding
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Box-structured methods for systems development with objects
  IBM Systems Journal, 1993
• The automated production control documentation system
  ACM Transactions on Software Engineering and Methodology, 1992
• The IBM Cleanroom software engineering technology transfer program
  Published by Springer Nature ,1992
• Engineering software under statistical quality control
  IEEE Software, 1990
• Correction to 'Certifying the reliability of software' (Jan. 1986 3-11)
  IEEE Transactions on Software Engineering, 1989
• Stepwise refinement and verification in box-structured systems
  Computer, 1988
• Cleanroom Software Engineering
  IEEE Software, 1987
• Box structured information systems
  IBM Systems Journal, 1987