Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Java_Modeling_Language> ?p ?o }
Showing triples 1 to 75 of
75
with 100 triples per page.
- Java_Modeling_Language abstract "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.".
- Java_Modeling_Language wikiPageExternalLink why.lri.fr.
- Java_Modeling_Language wikiPageExternalLink jmleclipse.projects.cis.ksu.edu.
- Java_Modeling_Language wikiPageExternalLink jmlrefman_toc.html.
- Java_Modeling_Language wikiPageExternalLink jmlspecs.sourceforge.net.
- Java_Modeling_Language wikiPageExternalLink krakatoa.lri.fr.
- Java_Modeling_Language wikiPageExternalLink daikon.
- Java_Modeling_Language wikiPageExternalLink dlDisplay.do?vid=KIT&docId=KITSRCE1000041881&tab=kit_evastar&srt=date.
- Java_Modeling_Language wikiPageExternalLink ESCJava2.
- Java_Modeling_Language wikiPageExternalLink TACO.
- Java_Modeling_Language wikiPageExternalLink jmlunit.html.
- Java_Modeling_Language wikiPageExternalLink www.jmlspecs.org.
- Java_Modeling_Language wikiPageExternalLink jmlrefman_toc.html.
- Java_Modeling_Language wikiPageExternalLink index.html.
- Java_Modeling_Language wikiPageExternalLink 21.
- Java_Modeling_Language wikiPageExternalLink wiki.
- Java_Modeling_Language wikiPageID "2668299".
- Java_Modeling_Language wikiPageLength "8678".
- Java_Modeling_Language wikiPageOutDegree "38".
- Java_Modeling_Language wikiPageRevisionID "704085052".
- Java_Modeling_Language wikiPageWikiLink Assertion_(software_development).
- Java_Modeling_Language wikiPageWikiLink Bernhard_Rumpe.
- Java_Modeling_Language wikiPageWikiLink Category:Articles_with_example_Java_code.
- Java_Modeling_Language wikiPageWikiLink Category:Formal_specification_languages.
- Java_Modeling_Language wikiPageWikiLink Category:Java_platform.
- Java_Modeling_Language wikiPageWikiLink Class_invariant.
- Java_Modeling_Language wikiPageWikiLink Compiler.
- Java_Modeling_Language wikiPageWikiLink Coq.
- Java_Modeling_Language wikiPageWikiLink Design_by_contract.
- Java_Modeling_Language wikiPageWikiLink Java.
- Java_Modeling_Language wikiPageWikiLink Eclipse_(software).
- Java_Modeling_Language wikiPageWikiLink Eiffel_(programming_language).
- Java_Modeling_Language wikiPageWikiLink Exception_handling.
- Java_Modeling_Language wikiPageWikiLink Existential_quantification.
- Java_Modeling_Language wikiPageWikiLink Gary_T._Leavens.
- Java_Modeling_Language wikiPageWikiLink Hoare_logic.
- Java_Modeling_Language wikiPageWikiLink Invariant_(computer_science).
- Java_Modeling_Language wikiPageWikiLink JUnit.
- Java_Modeling_Language wikiPageWikiLink Java_(programming_language).
- Java_Modeling_Language wikiPageWikiLink Java_annotation.
- Java_Modeling_Language wikiPageWikiLink Java_syntax.
- Java_Modeling_Language wikiPageWikiLink Javadoc.
- Java_Modeling_Language wikiPageWikiLink KeY.
- Java_Modeling_Language wikiPageWikiLink Larch_family.
- Java_Modeling_Language wikiPageWikiLink Loop_invariant.
- Java_Modeling_Language wikiPageWikiLink Method_(computer_programming).
- Java_Modeling_Language wikiPageWikiLink Postcondition.
- Java_Modeling_Language wikiPageWikiLink Precondition.
- Java_Modeling_Language wikiPageWikiLink Refinement_calculus.
- Java_Modeling_Language wikiPageWikiLink Semantics.
- Java_Modeling_Language wikiPageWikiLink Specification_language.
- Java_Modeling_Language wikiPageWikiLink Universal_quantification.
- Java_Modeling_Language wikiPageWikiLinkText "JML".
- Java_Modeling_Language wikiPageWikiLinkText "Java Modeling Language".
- Java_Modeling_Language wikiPageUsesTemplate Template:Expert-subject.
- Java_Modeling_Language subject Category:Articles_with_example_Java_code.
- Java_Modeling_Language subject Category:Formal_specification_languages.
- Java_Modeling_Language subject Category:Java_platform.
- Java_Modeling_Language hypernym Language.
- Java_Modeling_Language type Language.
- Java_Modeling_Language type Language.
- Java_Modeling_Language comment "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.".
- Java_Modeling_Language label "Java Modeling Language".
- Java_Modeling_Language sameAs Q2517517.
- Java_Modeling_Language sameAs JML.
- Java_Modeling_Language sameAs Java_Modeling_Language.
- Java_Modeling_Language sameAs Java_Modeling_Language.
- Java_Modeling_Language sameAs Java_Modelling_Language.
- Java_Modeling_Language sameAs Java_Modeling_Language.
- Java_Modeling_Language sameAs Java_Modeling_Language.
- Java_Modeling_Language sameAs m.07wnhj.
- Java_Modeling_Language sameAs Java_Modeling_Language.
- Java_Modeling_Language sameAs Q2517517.
- Java_Modeling_Language wasDerivedFrom Java_Modeling_Language?oldid=704085052.
- Java_Modeling_Language isPrimaryTopicOf Java_Modeling_Language.