Embedding domain-specific modelling languages in maude specifications

Vlad Rusu. Embedding domain-specific modelling languages in maude specifications. ACM SIGSOFT Software Engineering Notes, 36(1):1-8, January 2011. [doi]

@article{Rusu:2011:EDM:1921532.1921557,
  title = {Embedding domain-specific modelling languages in maude specifications},
  author = {Vlad Rusu},
  year = {2011},
  month = {January},
  doi = {10.1145/1921532.1921557},
  url = {http://doi.acm.org/10.1145/1921532.1921557},
  note = {The PDF link points to the revised version, accepted for publication with minor revisions in the Software and Systems modelling journal},
  tags = {model-to-model transformation, semantics, rule-based, formal semantics, meta-model, modeling language, embedded software, modeling, transformation language, language modeling, source-to-source, transformation system, model transformation, operational semantics, Meta-Environment, systematic-approach, transformation, domain-specific language},
  researchr = {https://researchr.org/publication/Rusu%3A2011%3AEDM%3A1921532.1921557},
  cites = {0},
  citedby = {0},
  journal = {ACM SIGSOFT Software Engineering Notes},
  volume = {36},
  number = {1},
  pages = {1-8},
}