Title :
Design by Contract: Making Object-Oriented Programs that Work
Author_Institution :
Interactive Software Engineering Inc
Keywords :
Application software; Contracts; Large-scale systems; Production systems; Q factor; Robustness; Software engineering; Software quality; Software reusability; Software systems;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 1997. TOOLS 25, Proceedings
Print_ISBN :
0-8186-8485-2
DOI :
10.1109/TOOLS.1997.681888