P-UML - A Pattern Design Language with a Formal Semantics.
Nadia BouassidaHanêne Ben-AbdallahMouez AliPublished in: ICEIS (2) (2013)
Keyphrases
- formal semantics
- modeling language
- modelling language
- logical language
- design rationale
- metamodel
- operational semantics
- formal language
- case study
- database
- logical reasoning
- object oriented
- speech acts
- unified modeling language
- formal methods
- theorem prover
- software engineering
- user interface
- relational databases
- natural language