swMATH1502MaRDI QIDQ14236FDOQ14236
Author name not available (Why is that?)
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
- Graph-based object-oriented Hoare logic
- Graph transformations for object-oriented refinement
- CSP-prover
- SOFA 2.0
- PACC starter kit
- 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
