rCOS
From MaRDI portal
Software:14236
No author found.
Related Items (12)
Rigorous development of component-based systems using component metadata and patterns ⋮ rCOS: Defining Meanings of Component-Based Software Architectures ⋮ Harnessing rCOS for Tool Support —The CoCoME Experience ⋮ A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs ⋮ RCOS: a formal model-driven engineering method for component-based software ⋮ Component Publications and Compositions ⋮ Failure-divergence semantics and refinement of long running transactions ⋮ Robustness testing for software components ⋮ Refinement and verification in component-based model-driven design ⋮ Graph transformations for object-oriented refinement ⋮ Graph-Based Object-Oriented Hoare Logic ⋮ An Interface Model of Software Components
This page was built for software: rCOS
