JML Alternatives

Question

Je cherche langues de spécification des options alternatives pour Java, comme JML.

Est-ce que quelqu'un sait tout?

Merci.

Answer 1

Contrats pour Java ( http://code.google.com/p/cofoja/) est un projet de Google qui vous permet de contrats de méthode d'écriture dans les annotations Java.

Le cadre peut automatiquement insérer les contrats comme des contrôles d'exécution de dynamiques en utilisant une ligne bytecode rewriter.