About: Java Modeling Language

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Specification language for Java programs

Property	Value
dbo:description	website (nl) specification language for Java programs (en)
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:wikiPageWikiLink	dbr:Marieke_Huisman dbr:Compiler dbr:Eiffel_(programming_language) dbr:Syntax_highlighting dbr:Java_syntax dbc:Articles_with_example_Java_code dbc:Java_platform dbr:Java_(programming_language) dbr:Javadoc dbr:Precondition dbr:Design_by_contract dbr:Specification_language dbr:Java_annotation dbr:Class_invariant dbr:Coq dbr:Eclipse_(software) dbr:Postcondition dbr:Hoare_logic dbc:Formal_specification_languages dbr:Exception_handling dbr:JUnit dbr:Semantics dbr:Loop_invariant dbr:Invariant_(computer_science) dbr:Bernhard_Rumpe dbr:ESC/Java dbr:Larch_family dbr:Gary_T._Leavens dbr:KeY dbr:Universal_quantifier dbr:ESC/Java2 dbr:Existential_quantifier dbr:Method_(computer_science) dbr:Refinement_Calculus dbr:Assertion_(computing)
dbp:wikiPageUsesTemplate	dbt:No_footnotes dbt:Short_description
dct:subject	dbc:Articles_with_example_Java_code dbc:Java_platform dbc:Formal_specification_languages
gold:hypernym	dbr:Language
rdfs:label	Java Modeling Language (en) JML (ca) Java Modeling Language (es) Java Modelling Language (it) Java Modeling Language (fr) Java Modeling Language (pl) Java Modeling Language (pt) Java Modeling Language (uk)
owl:sameAs	yago-res:Java Modeling Language freebase:Java Modeling Language wikidata:Java Modeling Language dbpedia-it:Java Modeling Language dbpedia-fr:Java Modeling Language dbpedia-pt:Java Modeling Language dbpedia-es:Java Modeling Language dbpedia-pl:Java Modeling Language dbpedia-ca:Java Modeling Language dbpedia-uk:Java Modeling Language dbpedia-global:Java Modeling Language
prov:wasDerivedFrom	wikipedia-en:Java_Modeling_Language?oldid=1217242146&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:Whiley_(programming_language) dbr:Assertion_(software_development) dbr:Modeling_language dbr:Formal_methods dbr:Control_flow dbr:Static_program_analysis dbr:Design_by_contract dbr:Extended_static_checking dbr:List_of_tools_for_static_code_analysis dbr:Class_invariant dbr:Index_of_software_engineering_articles dbr:Bertrand_Meyer dbr:JUMP_GIS dbr:JML dbr:List_of_University_of_Central_Florida_faculty_and_administrators dbr:Praspel dbr:Perfect_Developer dbr:SPARK_(programming_language) dbr:ANSI/ISO_C_Specification_Language dbr:ESC/Java dbr:List_of_Eclipse_projects dbr:Gary_T._Leavens dbr:KeY
is dbp:influencedBy of	dbr:Praspel dbr:ANSI/ISO_C_Specification_Language
is foaf:primaryTopic of	wikipedia-en:Java_Modeling_Language