JML Alternatives
I am looking for alternative specification languages options for Java, lik开发者_开发问答e JML.
Does any one know any?
Thanks.
Contracts for Java (http://code.google.com/p/cofoja/) is a Google project that enables you to write method contracts in Java annotations.
The framework can automatically insert the contracts as dynamic runtime checks using an offline bytecode rewriter.
精彩评论