Pages that link to "Item:Q4645272"
From MaRDI portal
The following pages link to Pragmatic and semantic aspects of a module concept for graph transformation systems (Q4645272):
Displaying 7 items.
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- Graph Transformation Units – An Overview (Q3507357) (← links)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
- A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GR (Q4921551) (← links)
- Structured Modeling with GRACE (Q4923544) (← links)
- Parameterized Transformation Units (Q4923545) (← links)
- An Abstract Module Concept for Graph Transformation Systems (Q4923549) (← links)