JML:ANotationForSpecifyingTheDetailedDesignOfJavaClassesAndInterfaces
Stc
Date: 2007-10-11
Time: 11:45
Room: BBL room 471
Speaker: Jacob Kleerekoper
Title: JML: a notation for specifying the detailed design of Java classes and interfaces
Abstract
In Object-Oriented software development with Java, describing the functionality
provided by classes is almost only possible by using Javadoc, which is
only an informal (textual) specification. Informal specifications lack the
ability of thoroughly testing, but that is just what we need if we want to
assure that a piece of code does exactly what it is supposed to do.
In this talk we will see the benefits of the Java Modeling Language (JML).
It is a formal specification language that uses the Java syntax for
describing methods' specifications. We will show how this is done by using
the Design by Contract method.
