| French |
| has gloss | fra: 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 invariants. Les spécifications sont ajoutées dans les commentaires du code en Java, elles sont ensuite compilées par le compilateur Java. |
| lexicalization | fra: Java Modeling Language |
| Italian |
| has gloss | ita: Java Modelling Language (JML) è un linguaggio di specifica che permette di definire astrazioni procedurali su un modello di programmazione per contratto, effettuando dei controlli sui parametri d'ingresso di un metodo e sul suo valore di ritorno. È disponibile solamente per Java 1.4.2. |
| lexicalization | ita: Java Modelling Language |
| Polish |
| has gloss | pol: Java Modeling Language (w skrócie JML) - jedna z formalnych metod określenia właściwości implementacji oprogramowania w języku Java, bazująca na idei projektowania związanego z kontraktem (ang. Design by Contract). Notacja ta umożliwia szczegółowy opis zachowania klas oraz interfejsów w języku Java. |
| lexicalization | pol: Java Modeling Language |
| Portuguese |
| has gloss | por: O Java Modeling Language ou JML é uma linguagem de modelagem que pode ser usada para especificar os detalhes de design em classes e interfaces Java, adicionando comentários nos códigos Java. O objetivo do JML é prover uma linguagem de especificação que tenha um fácil uso para que os desenvolvedores Java. JML também é uma linguagem de especificação de interface comportamental. As interfaces são assinaturas de classes e métodos, onde são estabelecidos os nomes e tipos dos nomes das classes. Após estabelecer a interface de uma classe Java, o JML irá proporcionar uma especificação de contrato padrão, servindo também como documentação de código Java. |
| lexicalization | por: Java modeling language |
| Wu Chinese |
| has gloss | wuu: Java Modeling Language (JML) follows the design by contract paradigm. It is a specification language for Java programs, using Hoare style pre- and postconditions and invariants. The specifications are added as Java annotation comments to the Java program, which hence can be compiled with any Java compiler. |
| lexicalization | wuu: JML |