Model-driven development of reactive information systems: from graph transformation rules to JML contracts

Reiko Heckel, Marc Lohmann. Model-driven development of reactive information systems: from graph transformation rules to JML contracts. STTT, 9(2):193-207, 2007. [doi]

@article{HeckelL07,
  title = {Model-driven development of reactive information systems: from graph transformation rules to JML contracts},
  author = {Reiko Heckel and Marc Lohmann},
  year = {2007},
  doi = {10.1007/s10009-006-0020-z},
  url = {http://dx.doi.org/10.1007/s10009-006-0020-z},
  tags = {model-to-model transformation, rule-based, graph transformation, contracts, meta-model, model-driven development, source-to-source, graph-rewriting, rules, transformation system, model transformation, information models, Meta-Environment, rewriting, transformation},
  researchr = {https://researchr.org/publication/HeckelL07},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {9},
  number = {2},
  pages = {193-207},
}