Tutorial on JML, the java modeling language
Published in Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering • Nov 5, 2007
NobleIDNI4P81W77R12S16
Authors:
Gary T. Leavens
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 wor...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!