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