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.

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. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Java Modeling Language (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink [11 values]
dbpedia-owl:wikiPageID
  • 4603786 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 8153 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 35 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 67540407 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [31 values]
Is dbpedia-owl:wikiPageWikiLink of