Java Modeling Language

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf formal specification language
gptkbp:abbreviation JML
gptkbp:category gptkb:programming_language
formal methods
software engineering
gptkbp:designedFor gptkb:Java_programming_language
gptkbp:developedBy Albert L. Baker
Clyde Ruby
Gary T. Leavens
gptkbp:firstAppearance late 1990s
https://www.w3.org/2000/01/rdf-schema#label Java Modeling Language
gptkbp:influencedBy gptkb:Eiffel
Larch family of specification languages
gptkbp:supports gptkb:design_by_contract
formal verification
runtime assertion checking
gptkbp:usedFor specifying the behavior of Java modules
gptkbp:website https://www.eecs.ucf.edu/~leavens/JML/
gptkbp:writtenBy gptkb:Java
gptkbp:bfsParent gptkb:Eiffel_programming_language
gptkb:Design_by_Contract
gptkb:JML_Driver
gptkbp:bfsLayer 7