reasoned out短语¹⁰⁶¹⁰⁰⁺⁵ 基本例句 v.推论出；作出 In this paper, based on coalgebra notions, treated a component which implements specifications as a concrete coalgebra and thus reasoned out the formal semantics of these specifications. 为了得到一套完整的形式化模型用于描述软件组件及其组成的系统，首先必须对软件组件的形式化语意进行定义。 xactad