Live briefing
Everything about Java Modeling Language
Specification language for Java programs
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. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Java Modeling LanguageA 5-minute orientation
- Skim a recent paper: New modelisation for create serious game for learning java languageInfluential work since 2022
- Pick up a classic book: Data miningThe most-reprinted book on the subject
- Read the landmark paper: The virtual reality modeling language and JavaCited 68 times
- Go sideways: ANSI/ISO C Specification LanguageA closely related topic
- Go sideways: Whiley (programming language)A closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
The virtual reality modeling language and Java
Java for parallel computing and as a general language for scientific and engineering simulation and modeling
Faster and More Complete Extended Static Checking for the Java Modeling Language
Conformance test development with the Java modeling language
MOLDA for Java. A Platform-independent Molecular Modeling and Molecular Graphics Program Written in the Java Language.
A Catalog of Bad Smells in Design-by-Contract Methodologies with Java Modeling Language
Non-null references by default in the Java modeling language
Eine formale Semantik für die Java Modeling Language
🆕 Influential since 2022
📚 Books worth reading
Data miningI. H. Witten, Ian H. Witten · 1999
Patterns in JavaMark Grand · 1998
Software Architecture Design Patterns in JavaPartha Kuchana · 2004
Design patterns in JavaSteven John Metsker · 2006
Java 2 database programming for dummiesJames Edward Keogh, Jim Keogh · 2001
Practical JavaScript, DOM Scripting and Ajax ProjectsFrank Zammetti · 2007
Modeldriven Software Development With Uml And JavaKevin Lano · 2009
Visualizing DataBen Fry · 2008
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- ANSI/ISO C Specification Language The ANSI/ISO C Specification Language (ACSL) is a specification language for C programs, using Hoare style pre- and postconditions and invariants, that…
- Whiley (programming language) Whiley is an experimental programming language that combines features from the functional and imperative programming paradigms, and supports formal specificatio…
- Class invariant In computer programming, specifically object-oriented programming, a class invariant (or type invariant) is an invariant used for constraining objects…
- Dafny Dafny is an imperative and functional compiled language that compiles to other programming languages, such as C#, Java, JavaScript, Go, and Python. It…
- ESC/Java ESC/Java (and more recently ESC/Java2), the "Extended Static Checker for Java," is a programming tool that attempts to find common run-time errors in Java…
- Java syntax The syntax of Java is the set of rules defining how a Java program is written and interpreted. The syntax is mostly derived from C and C++. Unlike C++…
- Assertion (software development) In computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate (a Boolean-valued function over the state…
- C++ syntax The syntax of C++ is the set of rules defining how a C++ program is written and compiled. C++ syntax is largely inherited from the syntax of its ancestor…