Pages that link to "Item:Q3585055"
From MaRDI portal
The following pages link to Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting (Q3585055):
Displaying 9 items.
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Towards a calculus for dynamic architectures (Q1675795) (← links)
- Specifying with syntactic theory functors (Q2173439) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- Tailorable language for behavioral composition and configuration of software components (Q2568280) (← links)
- Towards a First-Order Deontic Action Logic (Q2890324) (← links)
- Specifying Properties of Dynamic Architectures Using Configuration Traces (Q3179403) (← links)
- Verification: Theory and Practice (Q5305652) (← links)
- Dynamic Reconfiguration via Typed Modalities (Q6488473) (← links)