Design by Contract in Java (STclass)

Click http://www-valoria.univ-ubs.fr/stclass/ link to open resource.