Java Modeling Language
Sign in to savespecification language for Java programs
Article · Français
Le Java Modeling Language (JML) est un langage de spécification pour Java, il est basé sur le paradigme de la programmation par contrat. Il utilise la logique de Hoare, les pré et postconditions ainsi que les . Les spécifications sont ajoutées dans les commentaires du code en Java, elles sont ensuite compilées par le compilateur Java. Il existe divers outils de vérification pour JML, tels qu'un exécutable de vérification d'assertions et que l'Extended Static Checker (ESC/Java).
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
Java
Entity
Wayback Machine
Entity
compiler
Entity
semantics
Entity
Q82268
Entity
Q732089
Entity
exception handling
Entity
invariant
Entity
universal quantification
Entity
method
Entity
syntax highlighting
Entity
existential quantification
Entity
JUnit
Entity
Javadoc
Entity
design by contract
Entity
assertion
Entity
Java annotation
Entity
Hoare logic
Entity
Rocq prover
Entity
specification language
Entity