JML: Expressive Contracts, Specification Inheritance, and Behavioral Subtyping.
Gary T. LeavensPublished in: PPPJ (2015)
Keyphrases
- object oriented
- object oriented data models
- human behavior
- high level
- supply chain
- specification language
- knowledge representation
- object oriented databases
- formal specification
- knowledge representation languages
- behavioral model
- formal verification
- model checking
- data mining
- software engineering
- reinforcement learning
- website
- metadata