Title :
Design By Contract. The Eiffel Method
Keywords :
Application software; Contracts; Production systems; Q factor; Robustness; Software engineering; Software libraries; Software quality; Software reusability; Software systems;
Conference_Titel :
Technology of Object-Oriented Languages, 1998. TOOLS 26. Proceedings
Print_ISBN :
0-8186-8482-8
DOI :
10.1109/TOOLS.1998.711043