RCOS

rCOS stands for refinement of object and component systems. It is a formal method providing component-based model-driven software development. ==Overview== rCOS was originally developed by He Jifeng, Zhiming Liu and Xiaoshan Li at UNU-IIST in Macau, and consists of a unified multi-view modeling notation with a theory of relational semantic and gra
Found on http://en.wikipedia.org/wiki/RCOS
No exact match found