Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Java_Modeling_Language> ?p ?o. }
Showing items 1 to 50 of
50
with 100 items 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 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 ESCJava2.
- Java_Modeling_Language wikiPageExternalLink why.lri.fr.
- 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 21.
- Java_Modeling_Language wikiPageExternalLink wiki.
- Java_Modeling_Language wikiPageID "2668299".
- Java_Modeling_Language wikiPageRevisionID "600175894".
- Java_Modeling_Language hasPhotoCollection Java_Modeling_Language.
- Java_Modeling_Language subject Category:Formal_specification_languages.
- Java_Modeling_Language subject Category:Java_platform.
- Java_Modeling_Language type Abstraction100002137.
- Java_Modeling_Language type Communication100033020.
- Java_Modeling_Language type FormalSpecificationLanguages.
- Java_Modeling_Language type Language106282651.
- Java_Modeling_Language type Agent.
- Java_Modeling_Language type Person.
- Java_Modeling_Language type Person.
- Java_Modeling_Language type Q215627.
- Java_Modeling_Language type Q5.
- Java_Modeling_Language type Agent.
- Java_Modeling_Language type NaturalPerson.
- Java_Modeling_Language type Thing.
- Java_Modeling_Language type Person.
- 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 label "Java Modeling Language".
- Java_Modeling_Language label "Java Modeling Language".
- Java_Modeling_Language label "Java Modeling Language".
- Java_Modeling_Language label "Java Modeling Language".
- Java_Modeling_Language label "Java Modelling Language".
- 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 Q2517517.
- Java_Modeling_Language sameAs Q2517517.
- Java_Modeling_Language sameAs Java_Modeling_Language.
- Java_Modeling_Language wasDerivedFrom Java_Modeling_Language?oldid=600175894.
- Java_Modeling_Language isPrimaryTopicOf Java_Modeling_Language.