rCOS
From MaRDI portal
Software:14236
swMATH1502MaRDI QIDQ14236FDOQ14236
Author name not available (Why is that?)
Cited In (12)
- Robustness testing for software components
- Component Publications and Compositions
- Refinement and verification in component-based model-driven design
- An Interface Model of Software Components
- RCOS: a formal model-driven engineering method for component-based software
- rCOS: Defining Meanings of Component-Based Software Architectures
- 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
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs
- Graph-Based Object-Oriented Hoare Logic
- Harnessing rCOS for Tool Support —The CoCoME Experience
This page was built for software: rCOS
