Skip to search formSkip to main contentSkip to account menu

Java Modeling Language

Known as: JML 
The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre- and postconditions and invariants, that… 
Wikipedia (opens in a new tab)

Related topics

Related topics

36 relations
ANSI/ISO C Specification LanguageAssertion (software development)Class invariantCompiler

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Behavioral Specifications of Businesses and Systems
Preface. 1. Object-oriented transformation K. Baclawski, et al. 2. Being served: The purposes, strengths and limitations of… 
Highly Cited
2011
Highly Cited
2011
OpenJML: JML for Java 7 by Extending OpenJDK
The Java Modeling Language is a widely used specification language for Java. However, the tool support has not kept pace with… 
2010
2010
Dynamic Frames in Java Dynamic Logic
In this paper we present a realisation of the concept of dynamic frames in a dynamic logic for verifying Java programs. This is… 
Review
2010
Review
2010
What a Two Solar Mass Neutron Star Really Means
The determination of neutron star masses is reviewed in light of a new measurement of 1.97 M$_\odot$ for PSR J1614-2230 and an… 
Review
2008
Review
2008
A theoretical and experimental study of geometric networks
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important… 
Highly Cited
2003
Highly Cited
2003
A Runtime Assertion Checker for the Java Modeling Language (JML)
Debugging is made difficult by the need to precisely describe what each piece of the software is supposed to do, and to write… 
Highly Cited
2003
Highly Cited
2003
How the design of JML accommodates both runtime assertion checking and formal verification
Highly Cited
2002
Highly Cited
2002
CHASE: A Static Checker for JML's Assignable Clause
This paper presents a syntactic method to check so-called assignable clauses of annotated JAVA programs. Assignable clauses… 
Highly Cited
2001
Highly Cited
2001
Specification of the JavaCard API in JML
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and… 
Highly Cited
2000
Highly Cited
2000
JML (poster session): notations and tools supporting detailed design in Java
JML is a notation for specifying the detailed design of Java classes and interfaces. JML's assertions are stated using a slight… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)