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) .
Affichage des articles dont le libellé est dbc. Afficher tous les articles
Affichage des articles dont le libellé est dbc. Afficher tous les articles
mercredi 15 décembre 2010
Inscription à :
Articles (Atom)