RCOS

rCOS stands for refinement of object and component systems. It is a method component-based model-driven software development. It was originally developed by He Jifeng, Zhiming Liu and Xiaoshan Li at UNU-IIST, and consists of a relational semantic theory, a refinement calculus and tool support for model construction, model analysis and verification
Found on http://en.wikipedia.org/wiki/RCOS
No exact match found