@InProceedings{Silva2018,
  author    = {da Silva, William and Bureck, Max and Schieferdecker, Ina and Hein, Christian},
  booktitle = {Sixth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018)},
  title     = {Model Transformation with Triple Graph Grammars and Non-terminal Symbols},
  abstract  = {This work proposes a new graph grammar formalism, that introduces non-terminal symbols to triple graph grammars (TGG) and shows how to apply it to solving the model transformation problem. Our proposed formalism seems to suit code generation from models well, outperforms the standard TGG in the grammar size in one evaluated case and is able to express one transformation that we could not express with TGG. We claim, that such advantages make a formal specification written in our formalism easier to validate and less error-prone, what befits safety-critical systems specially well.},
  pages     = {161--177},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  doi       = {10.1007/978-3-030-12988-0_10},
  file      = {:2018/Silva2018 - Model Transformation with Triple Graph Grammars and Non Terminal Symbols.pdf:PDF},
  type      = {conference},
  year      = {2018}
}