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

GroIMP

GroIMP

GroIMP est une plateforme de modélisation 3D écrite en Java.Elle contient le langage de programmation XL, une extension basée sur des règles de Java. C'est utile pour la modélisation algorithmique des structures 3D.

Télécharger GroIMP .

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