Pages that link to "Item:Q2757272"
From MaRDI portal
The following pages link to Pattern-oriented software architecture (Q2757272):
Displaying 6 items.
- From design patterns to parallel architectural skeletons (Q697020) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- Conformance notions for the coordination of interaction components (Q967558) (← links)
- Experience of building an architecture-based generator using GenVoca for distributed systems (Q983190) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- Using interpreted CompositeCalls to improve operating system services (Q4789088) (← links)