Java Modeling Language
El Java Modeling Language, abreviado JML y en español «Lenguaje de Modelaje para Java» es un lenguaje de especificación para programas Java, que se sirve de pre-, postcondiciones e invariantes de la lógica de Hoare, siguiendo el paradigma de diseño por contrato. Las especificaciones se escriben como comentarios de anotación Java en el código fuente, que por consiguiente puede compilarse con cualquier compilador de Java. Para facilitar el desarrollo existen varias herramientas de verificación, tales como programas que chequean el código antes de su ejecución (ej. ).
influenced by
Wikipage disambiguates
ANSI/ISO C Specification LanguageAssertion (software development)Bertrand MeyerClass invariantControl flowDesign by contractESC/JavaExtended static checkingFormal methodsGary T. LeavensIndex of software engineering articlesJMLJUMP GISKeYList of Eclipse projectsList of University of Central Florida faculty and administratorsList of tools for static code analysisModeling languagePerfect DeveloperPraspelSPARK (programming language)Static program analysisWhiley (programming language)
Link from a Wikipage to another Wikipage
influenced by
primaryTopic
Java Modeling Language
El Java Modeling Language, abreviado JML y en español «Lenguaje de Modelaje para Java» es un lenguaje de especificación para programas Java, que se sirve de pre-, postcondiciones e invariantes de la lógica de Hoare, siguiendo el paradigma de diseño por contrato. Las especificaciones se escriben como comentarios de anotación Java en el código fuente, que por consiguiente puede compilarse con cualquier compilador de Java. Para facilitar el desarrollo existen varias herramientas de verificación, tales como programas que chequean el código antes de su ejecución (ej. ).
has abstract
El Java Modeling Language, abr ...... antes de su ejecución (ej. ).
@es
El Llenguatge de Modelatge per ...... es , i invariants d'un mètode.
@ca
Java Modeling Language (JML) – ...... raz interfejsów w języku Java.
@pl
Java Modelling Language (JML) ...... a solo dagli strumenti di JML.
@it
Le Java Modeling Language (JML ...... ded Static Checker (ESC/Java).
@fr
O Java Modeling Language ou JM ...... a da Programação por contrato.
@pt
The Java Modeling Language (JM ...... ії або інших корисних завдань.
@uk
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,012,033,721
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
El Java Modeling Language, abr ...... antes de su ejecución (ej. ).
@es
El Llenguatge de Modelatge per ...... es , i invariants d'un mètode.
@ca
Java Modeling Language (JML) – ...... raz interfejsów w języku Java.
@pl
Java Modelling Language (JML) ...... a solo dagli strumenti di JML.
@it
Le Java Modeling Language (JML ...... ded Static Checker (ESC/Java).
@fr
O Java Modeling Language ou JM ...... a da Programação por contrato.
@pt
The Java Modeling Language (JM ...... ії або інших корисних завдань.
@uk
label
JML
@ca
Java Modeling Language
@en
Java Modeling Language
@es
Java Modeling Language
@fr
Java Modeling Language
@pl
Java Modeling Language
@pt
Java Modeling Language
@uk
Java Modelling Language
@it