Pages that link to "Item:Q1806128"
From MaRDI portal
The following pages link to Graph transformation for specification and programming (Q1806128):
Displaying 22 items.
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- Hierarchical graph transformation (Q1608318) (← links)
- Graph grammars according to the type of input and manipulated data: a survey (Q1750316) (← links)
- Algebraic graph rewriting with controlled embedding (Q2007726) (← links)
- The model transformation language of the VIATRA2 framework (Q2462430) (← links)
- Transformation of shaped nested graphs and diagrams (Q2841248) (← links)
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
- Reachability in Graph Transformation Systems and Slice Languages (Q2947215) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Autonomous Units and Their Semantics – The Concurrent Case (Q3059708) (← links)
- Graph Transformation Units – An Overview (Q3507357) (← links)
- (Q4413583) (← links)
- Comparing Notions of Hierarchical Graph Transformation1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph). (Q4921560) (← links)
- 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 (Q4923504) (← links)
- Towards Common Exchange Formats for Graphs and Graph Transformation Systems (Q4923506) (← links)
- GETGRATS (Q4923529) (← links)
- Structured Modeling with GRACE (Q4923544) (← links)
- Parameterized Transformation Units (Q4923545) (← links)
- On the Complexity of Local Graph Transformations (Q5092357) (← links)
- Graph Transformations (Q5292610) (← links)
- Graph Transformations (Q5292619) (← links)
- Constraint-preserving architecture transformations: A graph rewriting approach (Q5956850) (← links)