A K-Based Formal Framework for Domain-Specific Modelling Languages.

Vlad Rusu Dorel Lucanu

Published in: FoVeOOS (2011)

Keyphrases

domain specific
general purpose
theoretical framework
expressive power
main contribution
first order logic
machine translation
context dependent