开发者

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.

0

上一篇:

下一篇:

精彩评论

暂无评论...
验证码 换一张
取 消

最新问答

问答排行榜