H ?
«
‹
←
→
›
»
Language peer sets for JML:
United States↑
United States/1998↑
Designed 1998 ↑
1990s languages ↑
Internet↑
New internationlism↑
Specialised Languages ↑
Specialised Languages/1998↑
Specialised Languages/us ↑
JML(ID:3510/jml001)
Interface specification language for JAVA
alternate simple view
Country: United States
Designed 1998
Published: 1998
Sammet category: Specialised Languages
JAVA Modelling Language - Computer Science, Iowa State University
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the approaches of Eiffel and Larch, with some elements of the refinement calculus.
Related languages
Java |
→
|
JML | |
Formalising in |
References:
Leavens, Gary T. (1998) Leavens, Gary T. ; Albert L. Baker, and Clyde Ruby. Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Department of Computer Science, Iowa State University, TR #98-06q, June 1998, revised July, November 1998, January, April, June, July, August, December 1999, February, May, July, December 2000, February, April, May, August 2001, June 2002
Abstract
pdf
Leavens, Gary T. (1999) Leavens, Gary T. ; Albert L. Baker, and Clyde Ruby. JML: A Notation for Detailed Design. In Haim Kilov, Bernhard Rumpe, and Ian Simmonds (editors), Behavioral Specifications of Businesses and Systems, chapter 12, pages 175-188. Copyright Kluwer, 1999.
pdf
Leavens, Gary T. (2000) Leavens, Gary T. ; K. Rustan M. Leino, Erik Poll, Clyde Ruby, and Bart Jacobs. JML: notations and tools supporting detailed design in Java
pdf
Abstract
in (2000) OOPSLA '00 Companion, Minneapolis, Minnesota, August 2000
Arun D. (2001) Arun D. Raghavan and Gary T. Leavens. Desugaring JML Method Specifications. Department of Computer Science, Iowa State University, TR #00-03c, March 2000, revised July, December 2000, August 2001
Abstract
pdf
in (2000) OOPSLA '00 Companion, Minneapolis, Minnesota, August 2000
Resources
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|