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:

Written on October 14, 2007