This HTML5 document contains 24 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n17https://web.archive.org/web/20110706084805/http:/www.dc.uba.ar/inv/grupos/rfm_folder/
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n18http://www.jmlspecs.org/
n12http://www.eecs.ucf.edu/~leavens/JML2/docs/man/jmlunit.
n24http://www.sireum.org/%3Fq=node/21/
n8https://web.archive.org/web/20110514011545/http:/secure.ucd.ie/products/opensource/ESCJava2/
n11http://why.lri.fr/
n16http://jmlspecs.org/jmlrefman/jmlrefman_toc.
dbpedia-eshttp://es.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n10http://es.wikipedia.org/wiki/Java_Modeling_Language?oldid=120928702&ns=
n23http://pag.csail.mit.edu/daikon/
n6http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n22http://krakatoa.lri.fr/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n15http://jmleclipse.projects.cis.ksu.edu/
n21http://www.jmlspecs.org/jmlrefman/jmlrefman_toc.
Subject Item
wikipedia-es:Java_Modeling_Language
foaf:primaryTopic
dbpedia-es:Java_Modeling_Language
Subject Item
dbpedia-es:Java_Modeling_Language
rdfs:label
Java Modeling Language
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. ).
owl:sameAs
n6:07wnhj
dct:subject
category-es:Ingeniería_de_software category-es:Java
foaf:isPrimaryTopicOf
wikipedia-es:Java_Modeling_Language
dbo:wikiPageID
4603786
dbo:wikiPageRevisionID
120928702
dbo:wikiPageExternalLink
n8: n11: n12:html n15: n16:html n17:TACO n18: n21:html n22: n23: n24:
dbo:wikiPageLength
8259
prov:wasDerivedFrom
n10:0
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. ).
Subject Item
dbr:Java_Modeling_Language
owl:sameAs
dbpedia-es:Java_Modeling_Language