Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.
Wladimir AraujoLionel C. BriandYvan LabichePublished in: ICSE (2011)
Keyphrases
- modeling language
- runtime environment
- metamodel
- programming language
- uml profile
- open source
- design rationale
- formal semantics
- code generation
- educational modeling languages
- java programs
- object oriented
- supply chain
- declarative language
- source code
- language constructs
- constraint language
- business process modeling
- database applications
- real world
- web services
- model driven architecture
- advanced features
- databases
- multi agent
- relational databases
- user interface
- learning process
- web applications