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