DBC for Java
Design by contract for Java
Contracts for Java (C4J) is a Design By Contract (DBC) framework (see Wikipidea DBC definition and Eiffel DBC docs)
for Java 1.5 and later. The primary goal for C4J is ease of use. DBC is about design and quality, aspects of programming that a lot programmers don't spend
enough time and energy on.
Therefore a DBC framework must be simple and painless to use. At the same time the framework must be powerful.
C4J is simple and powerful.
Click to see project files for Design By Contract for Java.