Pages that link to "Item:Q5256362"
From MaRDI portal
The following pages link to A Theory Agenda for Component-Based Design (Q5256362):
Displaying 4 items.
- A general framework for architecture composability (Q736458) (← links)
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (Q1648653) (← links)
- Formal specification and verification of dynamic parametrized architectures (Q2024379) (← links)
- Towards a theory of glue (Q5208775) (← links)