Tutorial on JML, the java modeling language

Full text DOI 10.1145/1321631.1321747 dblp

Abstract

The Java Modeling Language (JML) is widely used in academic research as a common language for formal methods tools that work with Java. JML is a design by contract language that can be used to specify detailed designs of Java programs, frameworks, and class libraries. Over twenty research groups worldwide have built several tools for checking code and finding bugs (see jmlspecs.org).

BibTeX

@inproceedings{Leavens:ASE07,
  author    = {Gary T. Leavens},
  title     = {Tutorial on {JML,} the java modeling language},
  booktitle = {ASE},
  pages     = {573},
  publisher = {{ACM}},
  year      = {2007},
}

Tutorial on JML, the java modeling language

Abstract

Related papers