Java Modeling Language (JML)

Java Modeling Language (JML)

Java Modeling Language (JML) est une BISL (behavioral interface specification language ) qui peut être utilisée pour spécifier le comportement des modules Java (comme dans la conception par contrat - DBC). Il a de nombreux outils pour faire la vérification d'assertion, les tests unitaires ...


Télécharger Java Modeling Language (JML) .