Category:

top: methodologies: design by contract (DBC)

Packages
Jass	H	D	2.0.14	2006-07-07	open source, registration
jContractor	H	D	0.1	2003-02-02	open source
Contract4J	H	D	0.7.0	2006-12-31	commercial, open source
Seems to be the best supported DBC for Java at the moment
Java Modeling Language (JML)	H	D	5.4	2007-02-08	open source