Login / Signup

Formal executable semantics for conformance in the MDE framework.

Marina EgeaVlad 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