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

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