iContract: Design by Contract in Java. how-to. Feb 16, 2001 13 mins. ... Note: The code source for the examples in this article can be downloaded from Resources. Design by Contract.