Pages that link to "Item:Q701031"
From MaRDI portal
The following pages link to A graph transformation approach to software architecture reconfiguration (Q701031):
Displaying 6 items.
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- Modeling and Verification of Reliable Messaging by Graph Transformation Systems (Q2867887) (← links)
- Visual Design of Software Architecture and Evolution based on Graph Transformation (Q4923508) (← links)
