| http://dbpedia.org/ontology/abstract
|
O Java Modeling Language ou JML é uma linguagem de especificação para programas Java que usa a Lógica de Hoare, as pre, poscondições e invariantes e que segue o paradigma da Programação por contrato.
, El Llenguatge de Modelatge per Java (JML, … El Llenguatge de Modelatge per Java (JML, Java Modeling Language) és un llenguatge d'especificació que s'utilitza per documentar formalment el comportament dels mòduls de programes en Java. Segueix el paradigma del (heredant idees d'Eiffel i ) per especificar les , i invariants d'un mètode.specificar les , i invariants d'un mètode.
, El Java Modeling Language, abreviado JML y … 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. ).an el código antes de su ejecución (ej. ).
, Le Java Modeling Language (JML) est un lan … 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). que l'Extended Static Checker (ESC/Java).
, Java Modelling Language (JML) è un linguag … Java Modelling Language (JML) è un linguaggio di specifica che permette di definire astrazioni procedurali su un modello di programmazione per contratto, effettuando dei controlli sui parametri d'ingresso di un metodo e sul suo valore di ritorno. È disponibile solamente per Java 1.4.2. Le specifiche vengono aggiunte all'interno del codice sorgente Java, tramite commenti dotati di una speciale sintassi che precedono il metodo interessato. Questo significa che il codice JML non viene letto dal compilatore Java, ma solo dagli strumenti di JML.tore Java, ma solo dagli strumenti di JML.
, The Java Modeling Language (JML) — мова, я … The Java Modeling Language (JML) — мова, яка використовується для опису функціональної поведінки класів і методів Java. Опис поведінки виражається у вигляді структурованих Java-коментарів чи анотацій Java, що використовують Java, як логічні вирази. Різні інструменти можуть прочитати інформацію JML і виконати статичну перевірку, перевірку виконання, генерацію тестів, відображення документації або інших корисних завдань.я документації або інших корисних завдань.
, The Java Modeling Language (JML) is a spec … The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre- and postconditions and invariants, that follows the design by contract paradigm. Specifications are written as Java annotation comments to the source files, which hence can be compiled with any Java compiler. Various verification tools, such as a runtime assertion checker and the Extended Static Checker (ESC/Java) aid development.Static Checker (ESC/Java) aid development.
, Java Modeling Language (JML) – jedna z for … Java Modeling Language (JML) – jedna z formalnych metod określenia właściwości implementacji oprogramowania w języku Java, bazująca na idei projektowania związanego z kontraktem (ang. design by contract). Notacja ta umożliwia szczegółowy opis zachowania klas oraz interfejsów w języku Java.wania klas oraz interfejsów w języku Java.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.openjml.org/ +
, http://primo.bibliothek.kit.edu/primo_library/libweb/action/dlDisplay.do%3Fvid=KIT&docId=KITSRCE1000041881&tab=kit_evastar&srt=date +
, http://why.lri.fr +
, https://web.archive.org/web/20051016013145/http:/secure.ucd.ie/products/opensource/ESCJava2/ +
, http://krakatoa.lri.fr +
, http://pag.csail.mit.edu/daikon/ +
, http://www.eecs.ucf.edu/~leavens/JML/index.shtml +
, http://www.eecs.ucf.edu/~leavens/JML2/docs/man/jmlunit.html +
, http://www.sireum.org/%3Fq=node/21/ +
, http://www.key-project.org/eclipse/JMLEditing/ +
, http://jmleclipse.projects.cis.ksu.edu/ +
, http://jmlspecs.org/jmlrefman/jmlrefman_toc.html +
, http://www.jmlspecs.org/jmlrefman/jmlrefman_toc.html +
, https://web.archive.org/web/20110706084805/http:/www.dc.uba.ar/inv/grupos/rfm_folder/TACO +
|
| http://dbpedia.org/ontology/wikiPageID
|
2668299
|
| http://dbpedia.org/ontology/wikiPageLength
|
8674
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1121920357
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Refinement_Calculus +
, http://dbpedia.org/resource/Assertion_%28computing%29 +
, http://dbpedia.org/resource/Category:Articles_with_example_Java_code +
, http://dbpedia.org/resource/Java_%28programming_language%29 +
, http://dbpedia.org/resource/ESC/Java2 +
, http://dbpedia.org/resource/Semantics +
, http://dbpedia.org/resource/Marieke_Huisman +
, http://dbpedia.org/resource/Bernhard_Rumpe +
, http://dbpedia.org/resource/KeY +
, http://dbpedia.org/resource/Method_%28computer_science%29 +
, http://dbpedia.org/resource/Specification_language +
, http://dbpedia.org/resource/Eiffel_%28programming_language%29 +
, http://dbpedia.org/resource/Category:Java_platform +
, http://dbpedia.org/resource/Design_by_contract +
, http://dbpedia.org/resource/Class_invariant +
, http://dbpedia.org/resource/ESC/Java +
, http://dbpedia.org/resource/Loop_invariant +
, http://dbpedia.org/resource/Eclipse_%28software%29 +
, http://dbpedia.org/resource/Java_syntax +
, http://dbpedia.org/resource/Compiler +
, http://dbpedia.org/resource/Gary_T._Leavens +
, http://dbpedia.org/resource/Hoare_logic +
, http://dbpedia.org/resource/JUnit +
, http://dbpedia.org/resource/Existential_quantifier +
, http://dbpedia.org/resource/Syntax_highlighting +
, http://dbpedia.org/resource/Coq +
, http://dbpedia.org/resource/Larch_family +
, http://dbpedia.org/resource/Invariant_%28computer_science%29 +
, http://dbpedia.org/resource/Category:Formal_specification_languages +
, http://dbpedia.org/resource/Precondition +
, http://dbpedia.org/resource/Javadoc +
, http://dbpedia.org/resource/Postcondition +
, http://dbpedia.org/resource/Universal_quantifier +
, http://dbpedia.org/resource/Exception_handling +
, http://dbpedia.org/resource/Java_annotation +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Java_platform +
, http://dbpedia.org/resource/Category:Articles_with_example_Java_code +
, http://dbpedia.org/resource/Category:Formal_specification_languages +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Language +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Java_Modeling_Language?oldid=1121920357&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Java_Modeling_Language +
|
| owl:sameAs |
http://it.dbpedia.org/resource/Java_Modelling_Language +
, http://pt.dbpedia.org/resource/Java_Modeling_Language +
, http://ca.dbpedia.org/resource/JML +
, http://dbpedia.org/resource/Java_Modeling_Language +
, http://rdf.freebase.com/ns/m.07wnhj +
, http://es.dbpedia.org/resource/Java_Modeling_Language +
, http://pl.dbpedia.org/resource/Java_Modeling_Language +
, http://fr.dbpedia.org/resource/Java_Modeling_Language +
, http://uk.dbpedia.org/resource/Java_Modeling_Language +
, http://yago-knowledge.org/resource/Java_Modeling_Language +
, https://global.dbpedia.org/id/2NQSV +
, http://www.wikidata.org/entity/Q2517517 +
|
| rdf:type |
http://dbpedia.org/class/yago/Cognition100023271 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/WikicatFormalSpecificationLanguages +
, http://dbpedia.org/class/yago/WikicatFormalMethods +
, http://dbpedia.org/class/yago/Ability105616246 +
, http://dbpedia.org/class/yago/Language106282651 +
, http://dbpedia.org/ontology/Language +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/WikicatFormalLanguages +
, http://dbpedia.org/class/yago/Know-how105616786 +
, http://dbpedia.org/class/yago/PsychologicalFeature100023100 +
, http://dbpedia.org/class/yago/Method105660268 +
|
| rdfs:comment |
El Llenguatge de Modelatge per Java (JML, … El Llenguatge de Modelatge per Java (JML, Java Modeling Language) és un llenguatge d'especificació que s'utilitza per documentar formalment el comportament dels mòduls de programes en Java. Segueix el paradigma del (heredant idees d'Eiffel i ) per especificar les , i invariants d'un mètode.specificar les , i invariants d'un mètode.
, Java Modeling Language (JML) – jedna z for … Java Modeling Language (JML) – jedna z formalnych metod określenia właściwości implementacji oprogramowania w języku Java, bazująca na idei projektowania związanego z kontraktem (ang. design by contract). Notacja ta umożliwia szczegółowy opis zachowania klas oraz interfejsów w języku Java.wania klas oraz interfejsów w języku Java.
, O Java Modeling Language ou JML é uma linguagem de especificação para programas Java que usa a Lógica de Hoare, as pre, poscondições e invariantes e que segue o paradigma da Programação por contrato.
, Java Modelling Language (JML) è un linguag … Java Modelling Language (JML) è un linguaggio di specifica che permette di definire astrazioni procedurali su un modello di programmazione per contratto, effettuando dei controlli sui parametri d'ingresso di un metodo e sul suo valore di ritorno. È disponibile solamente per Java 1.4.2. Le specifiche vengono aggiunte all'interno del codice sorgente Java, tramite commenti dotati di una speciale sintassi che precedono il metodo interessato. Questo significa che il codice JML non viene letto dal compilatore Java, ma solo dagli strumenti di JML.tore Java, ma solo dagli strumenti di JML.
, The Java Modeling Language (JML) — мова, я … The Java Modeling Language (JML) — мова, яка використовується для опису функціональної поведінки класів і методів Java. Опис поведінки виражається у вигляді структурованих Java-коментарів чи анотацій Java, що використовують Java, як логічні вирази. Різні інструменти можуть прочитати інформацію JML і виконати статичну перевірку, перевірку виконання, генерацію тестів, відображення документації або інших корисних завдань.я документації або інших корисних завдань.
, Le Java Modeling Language (JML) est un lan … 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). que l'Extended Static Checker (ESC/Java).
, El Java Modeling Language, abreviado JML y … 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. ).an el código antes de su ejecución (ej. ).
, The Java Modeling Language (JML) is a spec … The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre- and postconditions and invariants, that follows the design by contract paradigm. Specifications are written as Java annotation comments to the source files, which hence can be compiled with any Java compiler. Various verification tools, such as a runtime assertion checker and the Extended Static Checker (ESC/Java) aid development.Static Checker (ESC/Java) aid development.
|
| rdfs:label |
Java Modeling Language
, Java Modelling Language
, JML
|
