Faster and More Complete Extended Static Checking for the Java Modeling Language.
Perry R. JamesPatrice ChalinPublished in: J. Autom. Reason. (2010)
Keyphrases
- information systems
- modeling language
- metamodel
- code generation
- formal semantics
- design rationale
- uml profile
- declarative language
- open source
- development environment
- web applications
- control flow
- business process modeling
- case study
- java code
- databases
- educational modeling languages
- software development process
- integrity constraints
- software systems
- knowledge management
- programming language
- object oriented
- artificial intelligence
- machine learning