The wikipedia lists 12 DBC tools for Java:
"Java, using
1- iContract2,
2-Contract4J,
3-jContractor,
4-Jcontract,
5-C4J,
6-CodePro Analytix,
7-STclass,
8-Jass preprocessor,
9-OVal with AspectJ,
10-Java Modeling Language (JML),
11-SpringContracts from the Spring framework, or
12- Modern Jass. "
Does anybody know which ones may be most useful? It would seem some
of this would be better supported by the newer JVMs, i.e. 1.5 and 1.6.
_______________________________________________
Do not post admin requests to the list. They will be ignored.
Webobjects-dev mailing list ([email protected])
Help/Unsubscribe/Update your Subscription:
http://lists.apple.com/mailman/options/webobjects-dev/archive%40mail-archive.com
This email sent to [EMAIL PROTECTED]
