Tag Archives: invariants

Google announces cofoja – Contracts for Java

Google announced the new project cofoja (Contracts for Java) that is hosted on Google Code. The project Website describes the project as follows: Contracts for Java enables you to write annotate your code with contracts in the form of preconditions, … Continue reading

Posted in Java and Quality | Tagged , , , , | Leave a comment