Java Modeling Language
id:
java-modeling-language-190-6451557
title:
Java Modeling Language
text:
The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre- and postconditions and invariants, that follows the design by contract paradigm. Specifications are written as Java annotation comments to the source files, which hence can be compiled with any Java compiler. Various verification tools, such as a runtime assertion checker and the Extended Static Checker (ESC/Java) aid development.
brand slug:
wiki
category slug:
encyclopedia
description:
Specification language for Java programs
original url:
https://en.wikipedia.org/wiki/Java_Modeling_Language
date created:
date modified:
2024-04-04T17:32:03Z
main entity:
{"identifier":"Q2517517","url":"https://www.wikidata.org/entity/Q2517517"}
image:
fields total:
13
integrity:
14