The following pages link to rCOS (Q14236):
Displaying 12 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- Robustness testing for software components (Q988173) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- RCOS: a formal model-driven engineering method for component-based software (Q1762176) (← links)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
- An Interface Model of Software Components (Q2851905) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs (Q2999325) (← links)
- Harnessing rCOS for Tool Support —The CoCoME Experience (Q3526927) (← links)
- Component Publications and Compositions (Q3585034) (← links)
