rCOS的全名是 “A Refinement Calculus for Object Systems”（对象精化演算系统），它是一种基于RUP（Rational United Process）过程的开发面向对象软体的形式化方法。rCOS定义了一种用于描述面向对象程式设计结构的形式规範，称为OOL规範语言，用它可以很好的定义面向对象的概念，如类，对象，继承，引用等，并在此定义的基础上利用求精规则从需求到分析到设计再到实现整个过程的求精化简。

其特徵丰富，包括子类，引用类型，可见性，继承，动态绑定，多态和局部变数嵌套声明。用于推理验证不同抽象层次上的面向对象软体，包括规格说明，设计和程式。rCOS的语法包括面向对象系统，类声明，命令和表达式，其主要语法同java类似。