Ensuring semantic integrity of reusable objects (panel)

This publication has 4 references indexed in Scilit:

• Applying 'design by contract'
  Computer, 1992
• Planning the software industrial revolution
  IEEE Software, 1990
• Contracts: specifying behavioral compositions in object-oriented systems
  Published by Association for Computing Machinery (ACM) ,1990
• The evaluation of program-based software test data adequacy criteria
  Communications of the ACM, 1988