Pages that link to "Item:Q3508526"
From MaRDI portal
The following pages link to A Model of Component-Based Programming (Q3508526):
Displaying 7 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Conformance notions for the coordination of interaction components (Q967558) (← links)
- Robustness testing for software components (Q988173) (← links)
- Composition for component-based modeling (Q1776582) (← links)
- Modeling and Specification of Real-Time Interfaces with UTP (Q2842633) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)