Demonstration of JML Tools

Date
2005-04-01
Authors
Leavens, Gary
Cheon, Yoonsik
Cok, David
Journal Title
Journal ISSN
Volume Title
Publisher
Altmetrics
Authors
Research Projects
Organizational Units
Computer Science
Organizational Unit
Journal Issue
Series
Abstract

The Java Modeling language (JML) is a behavioral interface specification language tailored to Java. This demonstration presents some of the basic tools for generating and browsing documentation, runtime assertion checking, and unit testing.

Description
Keywords
specification languages, runtime assertion checking, documentation, tools, formal methods, program verification, programming by contract, Java language, JML language
Citation
DOI
Source
Collections