[{"type":"report","date_updated":"2019-03-03T16:31:13Z","_id":"8197","language":[{"iso":"eng"}],"publisher":"University of Bremen, Department of Mathematics and Computer Science","user_id":"52534","date_created":"2019-03-03T16:12:53Z","report_number":"7/96","citation":{"short":"M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.","ieee":"M. Andries <i>et al.</i>, <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science, 1996.","apa":"Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1996). <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science.","mla":"Andries, Marc, et al. <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science, 1996.","bibtex":"@book{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1996, title={Graph Transformation for Specification and Programming}, publisher={University of Bremen, Department of Mathematics and Computer Science}, author={Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele}, year={1996} }","chicago":"Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science, 1996.","ama":"Andries M, Engels G, Habel A, et al. <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science; 1996."},"department":[{"_id":"66"}],"author":[{"first_name":"Marc","last_name":"Andries","full_name":"Andries, Marc"},{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"first_name":"Annegret","last_name":"Habel","full_name":"Habel, Annegret"},{"first_name":"Berthold","full_name":"Hoffmann, Berthold","last_name":"Hoffmann"},{"last_name":"Kreowski","full_name":"Kreowski, Hans-Jörg","first_name":"Hans-Jörg"},{"full_name":"Kuske, Sabine","last_name":"Kuske","first_name":"Sabine"},{"full_name":"Plump, Detlef","last_name":"Plump","first_name":"Detlef"},{"first_name":"Andy","full_name":"Schürr, Andy","last_name":"Schürr"},{"first_name":"Gabriele","last_name":"Taentzer","full_name":"Taentzer, Gabriele"}],"year":"1996","abstract":[{"text":"The framework of graph transformation combines the potentials and advantages of both, graphs and rules, into a single computational paradigm. In this paper we survey recent developments in applying graph transformation as a rule-based framework for the specification and development of systems, languages, and tools. After presenting the basic features of graph transformation, we discuss a spectrum of applications including the evaluation of functional expressions, the specification of an interactive graphical tool, an example specification for abstract data types, and the definition of a visual database query language. The case studies indicate the need for a graph transformation language that provides suitable structuring principles and is independent of a particular graph transformation approach. To this end, we sketch the basic features of the new graph- and rule-centered language Grace, currently under development, that permits systematic and structured specification and programming based on graph transformation.","lang":"eng"}],"status":"public","title":"Graph Transformation for Specification and Programming"}]