Login / Signup
Formal Semantics and Reasoning about UML Class Diagram.
Marcin Szlenk
Published in:
DepCoS-RELCOMEX (2006)
Keyphrases
</>
formal semantics
probabilistic knowledge
logical language
er model
logical reasoning
first order logic
operational semantics
formal language
modeling language
speech acts
owl dl ontology
modelling language
relational databases
databases
theorem prover
open source
expert systems
case study