You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Feb 8, 2021. It is now read-only.
Dennis Campagna edited this page Jan 22, 2019
·
1 revision
Introduction
The Java Modeling Language (JML) is a specification language for Java programs that follows the design by contract paradigm. Specifications are written as Java annotation comments to the source files.
This is a slightly different version than the original language, adapted to the needs of the Software Engineering 1 course at Politecnico di Milano in the bachelor degree. One can find notes regarding the language in the following sections.