About: Java Modeling Language

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Java Modeling Language Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	JML (ca) Java Modeling Language (en) Java Modeling Language (es) Java Modeling Language (fr) Java Modeling Language (pl) Java Modeling Language (uk)
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). (fr)
rdfs:seeAlso	https://www.quora.com/topic/Jml
sameAs	Java Modeling Language Java Modeling Language Java Modeling Language Java Modeling Language Java Modeling Language Java Modeling Language Java Modeling Language Java Modeling Language Java Modeling Language Java Modeling Language
Wikipage page ID	1439249 (xsd:integer)
Wikipage revision ID	176815766 (xsd:integer)
dbo:wikiPageWikiLink	Java annotation dbpedia-fr:Assertion Proof assistant category-fr:Java_(langage) category-fr:Méthode_formelle dbpedia-fr:Classe_(informatique) Comment (computer programming) Compiler dbpedia-fr:Coq Eclipse (software) Eiffel (programming language) dbpedia-fr:JUnit Java (programming language) Javadoc dbpedia-fr:Logique_de_Hoare dbpedia-fr:Méthode_(informatique) dbpedia-fr:Méthode_formelle_(informatique) dbpedia-fr:Programmation_par_contrat Precondition dbpedia-fr:Spécification_(norme_technique) dbpedia-fr:Système_de_gestion_d'exceptions dbpedia-fr:Invariant_(informatique)
Link from a Wikipage to an external page	http://jmleclipse.projects.cis.ksu.edu/ http://key-project.org/ http://pag.csail.mit.edu/daikon/ http://secure.ucd.ie/products/opensource/ESCJava2/ http://www.jmlspecs.org/ http://www.lri.fr/~marche/krakatoa/
page length (characters) of wiki page	6625 (xsd:nonNegativeInteger)
dct:subject	category-fr:Java_(langage) category-fr:Méthode_formelle
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Lien_brisé dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Voir_homonymes
prov:wasDerivedFrom	wikipedia-fr:Java_Modeling_Language?oldid=176815766&ns=0
prop-fr:titre	ESC/Java2 (fr)
prop-fr:url	http://secure.ucd.ie/products/opensource/ESCJava2/
foaf:isPrimaryTopicOf	wikipedia-fr:Java_Modeling_Language
has 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). (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:JML KeY dbpedia-fr:Praspel dbpedia-fr:Programmation_par_contrat
is Wikipage disambiguates of	dbpedia-fr:JML
is oa:hasTarget of	Uk labels Ca labels Es labels En labels Pl labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Java_Modeling_Language
is influenced by of	dbpedia-fr:Praspel

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 11 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software