====== 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]]