The Java Modeling Language (JML) (NII Shonan Meeting 2013-3).
Gary T. LeavensPeter H. SchmittJooyong YiPublished in: NII Shonan Meet. Rep. (2013)
Keyphrases
- modeling language
- metamodel
- java programs
- open source
- programming language
- formal semantics
- source code
- design rationale
- web services
- code generation
- uml profile
- database applications
- language constructs
- lightweight
- constraint language
- business process modeling
- java virtual machine
- web applications
- educational modeling languages
- development environment
- object oriented
- information technology