The following pages link to (Q4331846):
Displaying 5 items.
- A calculus for reasoning about software composition (Q1770365) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- Maintaining traceability links during object-oriented software evolution (Q4791088) (← links)
- Inheritance of behavior (Q5943265) (← links)
