The formal method rCOS can support refinement and verification techniques and tools in the component-based development process .
rCOS形式化方法可以在基于构件的设计过程中有效地支持精化以及验证技术和工具。
Semantic Research on UML State-chart Based on rCOS
基于rCOS的UML状态图语义研究
rCOS