rCOS

swMATH1502MaRDI QIDQ14236FDOQ14236

Author name not available (Why is that?)

Cited In (12)

• 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
• 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