Java Contract Suite / News: Recent posts

Java Contract Suite, DbC for Java, v1.01.00b02 released

The codebase has been cleaned up. The next step is to ensure everything works as expected.

Posted by Johan Stuyts 2008-05-09

Java Contract Suite, DbC for Java, v1.01.00b01 released

The code available on has been released as the Java Contract Suite. The only change is that the classes have been moved to another package.

Posted by Johan Stuyts 2006-11-23

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks