Structured modeling with GRACE

DOI10.1016/S1571-0661(04)80206-8MaRDI QIDQ4923544zbMATH OpenFDO

Authors Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske, Hans-Jörg Kreowski

Publication date 24 May 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80206-8

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1629840
• 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 Transformat
• On the interleaving semantics of transformation units -- a step into GRACE
• Programmed graph transformations and graph transformation units in GRACE
• scientific article; zbMATH DE number 1923045

Cites work

• 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 Transformat
• Graph transformation for specification and programming
• Graph transformation units with interleaving semantics
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 1629840 (Why is no real title available?)
• scientific article; zbMATH DE number 1629841 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 1231507 (Why is no real title available?)
• scientific article; zbMATH DE number 1418368 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• Pragmatic and semantic aspects of a module concept for graph transformation systems
• Programmed graph transformations and graph transformation units in GRACE

Cited in

(2)

• scientific article; zbMATH DE number 1629840 (Why is no real title available?)
• An Integrated Modeling System for Structured Modeling Using Model Graphs

Describes a project that uses

Uses Software

• DIEGO

This page was built for publication: Structured modeling with GRACE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4923544)