rCOS

MaRDI QIDQ14236swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-11623-0_3

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