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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It appears in a… (More)
Is this relevant?
2010
2010
location, 39 accessible, 78 annotation statement, 86 assert, 89 assignable, 78 assume, 88 augmented postcondition, 83 augmented… (More)
Is this relevant?
2008
2008
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
Review
2007
Review
2007
The Java Modeling Language (JML) is widely used in academic research as a common language for formal methods tools that work with… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java… (More)
  • figure 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with… (More)
  • table 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Highly Cited
2003
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
JML is a notation for specifying the detailed design of Java classes and interfaces. JML’s assertions are stated using a slight… (More)
Is this relevant?