The following pages link to (Q2728879):
Displaying 6 items.
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- Graph Transformation Units – An Overview (Q3507357) (← 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)
