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