'''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]], consisting[[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]], and [[model transformations]]. Model transformations automate refinement rules and design patterns and generate conditions as proof obligations. ItwasrCOS originallysupport developedmultiple dimensional modeling: models at different levels of abstraction related by [[Herefinement Jifeng]]relations, [[Zhiminghierarchy Liu]]of compositions of components, and [[Xiaoshanmodels Li]]of atdifferent [[UNU-IIST]]views of the system (interaction protocols of components, reactive behaviors of components, data functionality, and class structures and data types. For details, please visit http://rcos.iist.unu.edu/ for more details.
