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}, }