About: 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. ).

Property	Value
dbo:abstract	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. ). (es) 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. ). (es)
dbo:wikiPageExternalLink	http://www.sireum.org/%3Fq=node/21/ https://web.archive.org/web/20110706084805/http:/www.dc.uba.ar/inv/grupos/rfm_folder/TACO http://jmleclipse.projects.cis.ksu.edu/ http://jmlspecs.org/jmlrefman/jmlrefman_toc.html http://krakatoa.lri.fr/ http://pag.csail.mit.edu/daikon/ http://why.lri.fr/ http://www.eecs.ucf.edu/~leavens/JML2/docs/man/jmlunit.html http://www.jmlspecs.org/jmlrefman/jmlrefman_toc.html http://www.jmlspecs.org/ https://web.archive.org/web/20110514011545/http:/secure.ucd.ie/products/opensource/ESCJava2/
dbo:wikiPageID	4603786 (xsd:integer)
dbo:wikiPageLength	8259 (xsd:integer)
dbo:wikiPageRevisionID	120928702 (xsd:integer)
dct:subject	category-es:Java category-es:Ingeniería_de_software
rdfs:comment	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. ). (es) 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. ). (es)
rdfs:label	Java Modeling Language (es) Java Modeling Language (es)
owl:sameAs	freebase:Java Modeling Language
prov:wasDerivedFrom	wikipedia-es:Java_Modeling_Language?oldid=120928702&ns=0
foaf:isPrimaryTopicOf	wikipedia-es:Java_Modeling_Language
is owl:sameAs of	dbr:Java Modeling Language
is foaf:primaryTopic of	wikipedia-es:Java_Modeling_Language