Cited in
(15)- An interface model of software components
- rCOS: defining meanings of component-based software architectures
- Robustness testing for software components
- Refinement and verification in component-based model-driven design
- RCOS: a formal model-driven engineering method for component-based software
- A graph-based implementation for mechanized refinement calculus of OO programs
- CSP-prover
- SOFA 2.0
- PACC starter kit
- Graph-based object-oriented Hoare logic
- Graph transformations for object-oriented refinement
- Rigorous development of component-based systems using component metadata and patterns
- Failure-divergence semantics and refinement of long running transactions
- Component publications and compositions
- Harnessing rCOS for Tool Support —The CoCoME Experience
This page was built for software: rCOS
