The following pages link to (Q3396631):
Displaying 7 items.
- Configuration logics: modeling architecture styles (Q347359) (← links)
- Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354) (← links)
- On the verification of architectural reconfigurations (Q1749140) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- Business Process Modeling for Organizational Knowledge Management (Q3507371) (← links)
- On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)
- Hierarchical Design Rewriting with Maude (Q5179129) (← links)
