. . . "Java Modeling Language"@en . . . "Java Modeling Language"@fr . . . . . . . . . . . . . . . . . "1439249"^^ . "Le Java Modeling Language (JML) est un langage de sp\u00E9cification pour Java, il est bas\u00E9 sur le paradigme de la programmation par contrat. Il utilise la logique de Hoare, les pr\u00E9 et postconditions ainsi que les . Les sp\u00E9cifications sont ajout\u00E9es dans les commentaires du code en Java, elles sont ensuite compil\u00E9es par le compilateur Java. Il existe divers outils de v\u00E9rification pour JML, tels qu'un ex\u00E9cutable de v\u00E9rification d'assertions et que l'Extended Static Checker (ESC/Java)."@fr . . . . "6625"^^ . . . "Le Java Modeling Language (JML) est un langage de sp\u00E9cification pour Java, il est bas\u00E9 sur le paradigme de la programmation par contrat. Il utilise la logique de Hoare, les pr\u00E9 et postconditions ainsi que les . Les sp\u00E9cifications sont ajout\u00E9es dans les commentaires du code en Java, elles sont ensuite compil\u00E9es par le compilateur Java. Il existe divers outils de v\u00E9rification pour JML, tels qu'un ex\u00E9cutable de v\u00E9rification d'assertions et que l'Extended Static Checker (ESC/Java)."@fr . . . . . . . . . . "176815766"^^ . . . "JML"@ca . . "Java Modeling Language"@uk . . . . . . . "Java Modeling Language"@es . . . "ESC/Java2"@fr . . "Java Modeling Language"@pl .