Pages that link to "Item:Q1004291"
From MaRDI portal
The following pages link to Refinement and verification in component-based model-driven design (Q1004291):
Displaying 11 items.
- Protocol conformance through refinement mappings in cadence SMV (Q998103) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- RCOS: a formal model-driven engineering method for component-based software (Q1762176) (← links)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
- Refinement via consistency checking in MDA (Q2863838) (← links)
- A rigorous model of service component architecture (Q2873686) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs (Q2999325) (← links)
- (Q3643939) (← links)
- An Approach to Modelling and Verification of Component Based Systems (Q5448780) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)