An overview of JML tools and applications
Abstract The Java Modeling Language (JML) can be used to specify the detailed design of
Java classes and interfaces by adding annotations to Java source files. The aim of JML is to …
Java classes and interfaces by adding annotations to Java source files. The aim of JML is to …
An overview of JML tools and applications
The Java Modeling Language (JML) can be used to specify the detailed design of Java
classes and interfaces by adding annotations to Java source files. The aim of JML is to …
classes and interfaces by adding annotations to Java source files. The aim of JML is to …
OpenJML: JML for Java 7 by extending OpenJDK
DR Cok - NASA Formal Methods: Third International Symposium …, 2011 - Springer
Abstract The Java Modeling Language is a widely used specification language for Java.
However, the tool support has not kept pace with advances in the Java language. This paper …
However, the tool support has not kept pace with advances in the Java language. This paper …
A logic for the Java Modeling Language JML
This paper describes a specialised logic for proving specifications in the Java Modeling
Language (JML). JML is an interface specification language for Java. It allows assertions …
Language (JML). JML is an interface specification language for Java. It allows assertions …
[PDF][PDF] Design by Contract with JML
GT Leavens, Y Cheon - 2006 - eecs.ucf.edu
This document gives a tutorial introduction to the Java Modeling Language (JML), and
explains how JML can be used as a powerful design by contract (DBC) tool for Java. JML is …
explains how JML can be used as a powerful design by contract (DBC) tool for Java. JML is …
[图书][B] A runtime assertion checker for the Java Modeling Language
Y Cheon - 2003 - search.proquest.com
Abstract The Java Modeling Language (JML) is a formal behavioral interface specification
language (BISL) for Java. JML has many advances including specification-only declarations …
language (BISL) for Java. JML has many advances including specification-only declarations …
JML (poster session) notations and tools supporting detailed design in JAVA
GT Leavens, C Ruby, KRM Leino, E Poll… - Addendum to the 2000 …, 2000 - dl.acm.org
JML is a notation for specifying the detailed design of Java classes and interfaces. JML's
assertions are stated using a slight extension of Java's expression syntax. This should make …
assertions are stated using a slight extension of Java's expression syntax. This should make …
[PDF][PDF] JML reference manual
JML is a notation for formally specifying the behavior and interfaces of Java [Arnold-Gosling-
Holmes00][Gosling-etal00] classes and methods. The goal of this reference manual is to …
Holmes00][Gosling-etal00] classes and methods. The goal of this reference manual is to …
Preliminary design of JML: A behavioral interface specification language for Java
GT Leavens, AL Baker, C Ruby - ACM SIGSOFT Software Engineering …, 2006 - dl.acm.org
JML is a behavioral interface specification language tailored to Java (TM). Besides pre-and
postconditions, it also allows assertions to be intermixed with Java code; these aid …
postconditions, it also allows assertions to be intermixed with Java code; these aid …
How the design of JML accommodates both runtime assertion checking and formal verification
GT Leavens, Y Cheon, C Clifton, C Ruby… - Formal Methods for …, 2003 - Springer
Specifications that are used in detailed design and in the documentation of existing code are
primarily written and read by programmers. However, most formal specification languages …
primarily written and read by programmers. However, most formal specification languages …