Java Modeling Language (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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. (ca) 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. ). (es) 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. (en) 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) 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. (it) 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. (pl) 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. (pt) The Java Modeling Language (JML) — мова, яка використовується для опису функціональної поведінки класів і методів Java. Опис поведінки виражається у вигляді структурованих Java-коментарів чи анотацій Java, що використовують Java, як логічні вирази. Різні інструменти можуть прочитати інформацію JML і виконати статичну перевірку, перевірку виконання, генерацію тестів, відображення документації або інших корисних завдань. (uk) |
| dbo:wikiPageExternalLink | http://www.openjml.org/ http://jmleclipse.projects.cis.ksu.edu/ http://jmlspecs.org/jmlrefman/jmlrefman_toc.html http://pag.csail.mit.edu/daikon/ http://primo.bibliothek.kit.edu/primo_library/libweb/action/dlDisplay.do%3Fvid=KIT&docId=KITSRCE1000041881&tab=kit_evastar&srt=date http://www.jmlspecs.org/jmlrefman/jmlrefman_toc.html http://www.key-project.org/eclipse/JMLEditing/ http://www.sireum.org/%3Fq=node/21/ http://www.eecs.ucf.edu/~leavens/JML/index.shtml http://www.eecs.ucf.edu/~leavens/JML2/docs/man/jmlunit.html http://krakatoa.lri.fr http://why.lri.fr https://web.archive.org/web/20051016013145/http:/secure.ucd.ie/products/opensource/ESCJava2/ https://web.archive.org/web/20110706084805/http:/www.dc.uba.ar/inv/grupos/rfm_folder/TACO |
| dbo:wikiPageID | 2668299 (xsd:integer) |
| dbo:wikiPageLength | 8674 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1121920357 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Design_by_contract dbr:ESC/Java dbr:Invariant_(computer_science) dbr:Universal_quantifier dbr:Loop_invariant dbr:Compiler dbr:Coq dbr:Gary_T._Leavens dbr:Eiffel_(programming_language) dbr:Precondition dbr:Refinement_Calculus dbr:Bernhard_Rumpe dbr:Specification_language dbr:Postcondition dbc:Formal_specification_languages dbr:Larch_family dbc:Java_platform dbr:Eclipse_(software) dbr:Exception_handling dbr:JUnit dbr:Java_(programming_language) dbc:Articles_with_example_Java_code dbr:KeY dbr:Hoare_logic dbr:Java_annotation dbr:Java_syntax dbr:Javadoc dbr:Marieke_Huisman dbr:Class_invariant dbr:Method_(computer_science) dbr:Syntax_highlighting dbr:Semantics dbr:Assertion_(computing) dbr:ESC/Java2 dbr:Existential_quantifier |
| dct:subject | dbc:Formal_specification_languages dbc:Java_platform dbc:Articles_with_example_Java_code |
| gold:hypernym | dbr:Language |
| rdf:type | dbo:Language yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Know-how105616786 yago:Language106282651 yago:Method105660268 yago:PsychologicalFeature100023100 yago:WikicatFormalLanguages yago:WikicatFormalMethods yago:WikicatFormalSpecificationLanguages |
| rdfs:comment | 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. (ca) 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. ). (es) 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. (en) 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) 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. (it) 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. (pl) 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. (pt) The Java Modeling Language (JML) — мова, яка використовується для опису функціональної поведінки класів і методів Java. Опис поведінки виражається у вигляді структурованих Java-коментарів чи анотацій Java, що використовують Java, як логічні вирази. Різні інструменти можуть прочитати інформацію JML і виконати статичну перевірку, перевірку виконання, генерацію тестів, відображення документації або інших корисних завдань. (uk) |
| rdfs:label | JML (ca) Java Modeling Language (es) Java Modelling Language (it) Java Modeling Language (fr) Java Modeling Language (en) Java Modeling Language (pl) Java Modeling Language (pt) Java Modeling Language (uk) |
| owl:sameAs | freebase:Java Modeling Language yago-res:Java Modeling Language wikidata:Java Modeling Language dbpedia-ca:Java Modeling Language dbpedia-es:Java Modeling Language dbpedia-fr:Java Modeling Language dbpedia-it:Java Modeling Language dbpedia-pl:Java Modeling Language dbpedia-pt:Java Modeling Language dbpedia-uk:Java Modeling Language https://global.dbpedia.org/id/2NQSV |
| prov:wasDerivedFrom | wikipedia-en:Java_Modeling_Language?oldid=1121920357&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Java_Modeling_Language |
| is dbo:influencedBy of | dbr:Praspel dbr:ANSI/ISO_C_Specification_Language |
| is dbo:wikiPageDisambiguates of | dbr:JML |
| is dbo:wikiPageWikiLink of | dbr:List_of_University_of_Central_Florida_faculty_and_administrators dbr:Bertrand_Meyer dbr:Design_by_contract dbr:List_of_Eclipse_projects dbr:ESC/Java dbr:Index_of_software_engineering_articles dbr:JML dbr:Praspel dbr:SPARK_(programming_language) dbr:Gary_T._Leavens dbr:Control_flow dbr:Perfect_Developer dbr:Static_program_analysis dbr:Whiley_(programming_language) dbr:ANSI/ISO_C_Specification_Language dbr:Formal_methods dbr:JUMP_GIS dbr:KeY dbr:Modeling_language dbr:Assertion_(software_development) dbr:Class_invariant dbr:Extended_static_checking dbr:List_of_tools_for_static_code_analysis |
| is dbp:influencedBy of | dbr:Praspel dbr:ANSI/ISO_C_Specification_Language |
| is foaf:primaryTopic of | wikipedia-en:Java_Modeling_Language |