@article{r12,
  title = {Embedding domain-specific modeling languages into Maude specifications},
  author = {Vlad Rusu},
  year = {2012},
  note = {To appear},
  tags = {model-to-model transformation, semantics, rule-based, transformation engineering, translation, syntax definition, model checking, formal semantics, graph transformation, meta-model, abstract syntax, modeling language, modeling, language engineering, transformation language, language modeling, points-to analysis, domain analysis, analysis, source-to-source, graph-rewriting, rules, model-driven engineering, model transformation, operational semantics, Meta-Environment, rewriting, MDE, systematic-approach, transformation, domain-specific language},
  researchr = {https://researchr.org/publication/r12},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
}