Definitions for "JML"
The Java Modeling Language (JML) follows the design by contract paradigm. It admits the specification of Java programs, using Hoare style pre- and postconditions and invariants. The specifications are added as comments to the Java program, which hence can be compiled with any Java compiler.
Keywords:  leblanc, jean, marie, tour, director
Jean Marie LeBlanc, director of the Tour de France.