The following pages link to (Q4941931):
Displayed 8 items.
- Structural and behavioural compatibility of graphical service specifications (Q861295) (← links)
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (Q934668) (← links)
- 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)
- GETGRATS (Q4923529) (← links)
- Structured Modeling with GRACE (Q4923544) (← links)
- Parameterized Transformation Units (Q4923545) (← links)