141 followers
A K-Based Formal Framework for Domain-Specific Modelling Languages (2012) : Rusu, Vlad and Lucanu, Dorel DOI: https://t.co/b9nbBfufEi #DSL #DSMLs #MDE #RASCAL #XSPEM #artifacts #formal #language #meta #model_checking #model_driven_p #my_bibtex