-
Trivadis Developer Blog
This is the publication playground for these guys from OIO Trivadis, the Trivadis Group`s Java experts.
Tag cloud
Agile Methods and development Atlassian Tools Build, config and deploy Did you know? Eclipse Universe Groovy and Grails Java and Quality Java Basics Java EE Java modularization Java Persistence Java Runtimes - VM, Appserver & Cloud Java Web Frameworks MDSD Open Source BI Other languages for the Java VM Politics Security SOA / Webservices Spring Universe Web as a Platform XML Universe
Tag Archives: postconditions
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 cofoja, invariants, java, postconditions, preconditions
Leave a comment