Login / Signup
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development.
Helmuth Partsch
Marcel Dausend
Dominik Gessenharter
Jens Kohlmeyer
Alexander Raschke
Published in:
Int. J. Softw. Informatics (2011)
Keyphrases
</>
formal semantics
modelling language
model driven development
model driven
probabilistic model
database
databases
real world
artificial intelligence
high level
first order logic
logical language