Jml Langage de programmation créé pour vous aider avec votre développement Java
Télécharger maintenant

Jml Classement & Résumé

Jml Mots clés

langage de programmation développement code scénario Langue Développement Java

Jml La description

La langue de modélisation JML ou Java est une langue de spécification d'interface comportementale qu'un utilisateur peut utiliser pour spécifier le comportement des modules Java. La langue allie la conception par une approche contractuelle de l'Eiffel et de l'approche de spécification basée sur des modèles de la famille des langues de spécification d'interface de mélèze. Il présente également des éléments du calcul de raffinement.

Jml Logiciels associés