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

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

Namespace Prefixes

PrefixIRI
n26http://www.lri.fr/~marche/krakatoa/
dcthttp://purl.org/dc/terms/
n6http://secure.ucd.ie/products/opensource/ESCJava2/
n10http://key-project.org/
dbohttp://dbpedia.org/ontology/
n24http://www.jmlspecs.org/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n18http://g.co/kg/m/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19http://pag.csail.mit.edu/daikon/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n4https://www.quora.com/topic/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n23http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n14http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
prop-frhttp://fr.dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n27http://jmleclipse.projects.cis.ksu.edu/

Statements

Subject Item
dbpedia-fr:Java_Modeling_Language
rdfs:label
Java Modeling Language Java Modeling Language JML Java Modeling Language Java Modeling Language Java Modeling Language
rdfs:comment
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 . Les spécifications sont ajoutées dans les commentaires du code en Java, elles sont ensuite compilées par le compilateur Java. Il existe divers outils de vérification pour JML, tels qu'un exécutable de vérification d'assertions et que l'Extended Static Checker (ESC/Java).
rdfs:seeAlso
n4:Jml
owl:sameAs
wikidata:Q2517517 dbpedia-ca:JML dbpedia-uk:Java_Modeling_Language n14:60945770 dbpedia-pl:Java_Modeling_Language n18:07wnhj dbpedia-es:Java_Modeling_Language dbpedia-pt:Java_Modeling_Language dbpedia-it:Java_Modelling_Language dbr:Java_Modeling_Language
dbo:wikiPageID
1439249
dbo:wikiPageRevisionID
176815766
dbo:wikiPageWikiLink
dbpedia-fr:Assertion dbpedia-fr:Assistant_de_preuve dbpedia-fr:Invariant_(informatique) dbpedia-fr:Eclipse_(projet) dbpedia-fr:Méthode_(informatique) dbpedia-fr:Spécification_(norme_technique) dbpedia-fr:Méthode_formelle_(informatique) dbpedia-fr:Coq dbpedia-fr:Compilateur dbpedia-fr:JUnit dbpedia-fr:Classe_(informatique) dbpedia-fr:Commentaire_(informatique) dbpedia-fr:Précondition dbpedia-fr:Eiffel_(langage) dbpedia-fr:Système_de_gestion_d'exceptions dbpedia-fr:Java_(langage) dbpedia-fr:Javadoc dbpedia-fr:Programmation_par_contrat dbpedia-fr:Logique_de_Hoare category-fr:Java_(langage) category-fr:Méthode_formelle dbpedia-fr:Annotation_(Java)
dbo:wikiPageExternalLink
n6: n10: n19: n24: n26: n27:
dbo:wikiPageLength
6625
dct:subject
category-fr:Méthode_formelle category-fr:Java_(langage)
prop-fr:wikiPageUsesTemplate
n23:Voir_homonymes n23:Lien_brisé n23:Portail
prov:wasDerivedFrom
wikipedia-fr:Java_Modeling_Language?oldid=176815766&ns=0
prop-fr:titre
ESC/Java2
prop-fr:url
n6:
foaf:isPrimaryTopicOf
wikipedia-fr:Java_Modeling_Language
dbo:abstract
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 . Les spécifications sont ajoutées dans les commentaires du code en Java, elles sont ensuite compilées par le compilateur Java. Il existe divers outils de vérification pour JML, tels qu'un exécutable de vérification d'assertions et que l'Extended Static Checker (ESC/Java).