论文部分内容阅读
ＣＯＯＺ（ｃｏｍｐｌｅｔｅ ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄ Ｚ）的优势在于精确描述大型程序的规约。ＣＯＯＺ本身的结构不支持精化演算，这限制了ＣＯＯＺ的应用能力，使ＣＯＯＺ难以作为完整的方法应用于软件的开发。将精化演算引入ＣＯＯＺ，弥补了ＣＯＯＺ在设计和实现阶段的不足，同时也消除了规约与实现之间在结构和表示方法上完全分离，使程序开发在一个完整的框架下平滑进行。该文提出了基于ＣＯＯＺ和精化演算的软件开