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
From MaRDI portal
Publication:4923504
Recommendations
- Programmed graph transformations and graph transformation units in GRACE
- Graph transformation for specification and programming
- scientific article; zbMATH DE number 1231497
- Specification and verification of graph-based model transformation properties
- Graph Transformations
- Graph Transformation with Dependencies for the Specification of Interactive Systems
- Formal software specification with refinements and modules of typed graph transformation systems
- A general framework for well-structured graph transformation systems
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 1629837 (Why is no real title available?)
- scientific article; zbMATH DE number 1629840 (Why is no real title available?)
- scientific article; zbMATH DE number 2006493 (Why is no real title available?)
- scientific article; zbMATH DE number 1437942 (Why is no real title available?)
- On the interleaving semantics of transformation units -- a step into GRACE
- Programmed graph transformations and graph transformation units in GRACE
Cited in
(14)- Graph transformation for specification and programming
- scientific article; zbMATH DE number 1629840 (Why is no real title available?)
- Transformation of shaped nested graphs and diagrams
- Combining graph transformation and algebraic specification into model transformation
- A framework for operational specification languages. Language-realisation and execution using graph transformations
- scientific article; zbMATH DE number 1231497 (Why is no real title available?)
- scientific article; zbMATH DE number 1504837 (Why is no real title available?)
- A graph transformation view on the specification of applications using mobile code
- Comparing Notions of Hierarchical Graph Transformation1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph).
- 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).
- How to specify a graph transformation approach: a meta model for \textsc{Fujaba}
- Structured modeling with GRACE
- Parameterized transformation units
- GSPEC: A graphical specification language for software
This page was built for publication: 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4923504)
