Pages that link to "Item:Q1608315"
From MaRDI portal
The following pages link to Formal software specification with refinements and modules of typed graph transformation systems (Q1608315):
Displaying 9 items.
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- Compositional comparison of formal software specifications using transformation systems. (Q1602272) (← links)
- Graph-based specification of access control policies (Q2486563) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Graph Transformation Units – An Overview (Q3507357) (← 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)
- An Abstract Module Concept for Graph Transformation Systems (Q4923549) (← links)
- Formal Methods in Software and Systems Modeling (Q5710423) (← links)
- Using programmed graph rewriting for the formal specification of a configuration management system (Q6184367) (← links)