A two-level formal semantics for the QVT language.

Roxana S. Giandini Claudia Pons Gabriela Pérez

Published in: CIbSE (2009)

Keyphrases

formal semantics
logical language
formal language
operational semantics
modelling language
modeling language
speech acts
first order logic
natural language
logical reasoning
theorem prover
metamodel
probabilistic model
e learning
representation language
expressive power
er model