Contract-Library-for-JAVA

Design by Contract is a principle used in various programming languages to define formal specifications for software components. The purpose of this project is to design a programming contract library for Java.