| SE450: DBC: Alternatives/APIs [12/24] |
If you want to do DBC for real, one of the best tools out there is iContract. I have supplied an iContract target to the build.xml file that is downloadable from the web. By using iContract, you can automatically add DBC to your code.
Some other implementations of DBC in Java are
In light of all the other tools and system problems so far, it isn't required that you use iContract. However, for those of you who have extra time, I recommend you take a look at it and try it out.