Login / Signup
Formal executable semantics for conformance in the MDE framework.
Marina Egea
Vlad Rusu
Published in:
Innov. Syst. Softw. Eng. (2010)
Keyphrases
</>
conceptual model
theoretical framework
formal model
conceptual framework
specification language
information systems
high level
description logics
logic programming
main contribution
formal language