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) .

Eclipse Modeling Tools (includes Incubating components)

Eclipse Modeling Tools (includes Incubating components)

Eclipse Modeling Tools (includes Incubating components): ce logiciel de modélisation contient une collection de composants Eclipse Modeling Project, y compris les éléments EMF, GMF, MDT XSD/OCL/UML2, M2M, M2T, et EMFT. Il comprend un SDK complet, des outils de développement , le code source et certains éléments d'incubation .


Télécharger Eclipse Modeling Tools (includes Incubating components) .