David Leston's
Software Development Blog

Design by Contract

I would like to see design by contract become mainstream. JSR-305, Annotations for Software Defect Detection, is a step in the right direction. The applicability of this standard is broader than the name suggests. Here’s a talk about the JSR by Bill Pugh:

I would like to see compile-time and full IDE support for design by contact.

Related links:

• Design by Contract, by Example by Richard Mitchell and Jim McKim – book on Amazon
• The Practical Guide to Defect Prevention by Marc McDonald, Robert Musson, and Ross Smith – book on Amazon