Structured Modeling with GRACE

DOI10.1016/S1571-0661(04)80206-8zbMath1263.68084MaRDI QIDQ4923544

Giorgio Busatto, Sabine Kuske, Peter Knirsch, Renate Klempien-Hinrichs, Hans-Joerg Kreowski

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Uses Software

• Unnamed Item

Cites Work

• Graph transformation units with interleaving semantics
• Graph transformation for specification and programming
• Handbook of Graph Grammars and Computing by Graph Transformation
• Programmed graph transformations and graph transformation units in GRACE
• Pragmatic and semantic aspects of a module concept for graph transformation systems
• GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).
• Handbook of Graph Grammars and Computing by Graph Transformation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Structured Modeling with GRACE