====== Java Design by Contract ====== * [[http://en.wikipedia.org/wiki/Design_by_contract|Design by contract]] * [[http://code.google.com/p/cofoja/|Contract for Java project]]