Formal Semantics for Roles.

Published in: Joint Workshop of the German Research Training Groups in Computer Science (2014)

Keyphrases

formal semantics
first order logic
logical reasoning
operational semantics
er model
logical language
modeling language
theorem prover
formal language
speech acts
relational databases
software engineering
source code
ontology languages
epistemic logic
modelling language