Design By Contract for Java

Contract4J is a DbC implementation for Java that uses annotations and aspects to implement the preconditions, postconditions and invariants one has come to grow and love.

Leave a Reply