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.
Read more about Java Modeling Language: Overview, Syntax, Tool Support
Famous quotes containing the words modeling and/or language:
“The computer takes up where psychoanalysis left off. It takes the ideas of a decentered self and makes it more concrete by modeling mind as a multiprocessing machine.”
—Sherry Turkle (b. 1948)
“Please stop using the word “Negro.”... We are the only human beings in the world with fifty-seven variety of complexions who are classed together as a single racial unit. Therefore, we are really truly colored people, and that is the only name in the English language which accurately describes us.”
—Mary Church Terrell (1863–1954)