利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错,因此利用机器辅助工具的支持是必要......

随着软件规模的不断扩大，驾驭软件开发的难度越来越大，开发正确、可靠的软件成为一个亟待解决的问题。软件工程虽然对消解软件危机起......

由于数据精化需要针对更大的程序块, 所以,它比一般的算法精化更加复杂.在精化演算中过程如何有效地进行数据精化是形式化方法研究......

COOZ(complete object-oriented Z)的优势在于精确描述大型程序的规约.COOZ本身的结构不支持精化演算,这限制了COOZ的应用能力,使C......

利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必......

ＣＯＯＺ（ｃｏｍｐｌｅｔｅ ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄ Ｚ）的优势在于精确描述大型程序的规约。ＣＯＯＺ本身的结构不支持精化演算，这限制了ＣＯＯＺ的应用能力，使ＣＯＯＺ难以作为完整的方法应用于软件的开发。将......

<正> 一、引言形式化方法的研究和应用已有二十多年的历史,源于Dijkstra和Hoare的程序验证以及Scott、stratchey等人的程序语义研......

由于数据化需要针对更大的程序块，它比一般的算法精化更加复杂。在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个......

提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写......

利用精化演算的方法开发软件，其过程由巨大数量的小步骤构成，由手工完成极其烦琐，也极容易出错，因此利用机器辅助工具的支持是必要的，在......

通过分析Z和精化演算各自的特点,本文提出了一种使两者无缝集成的形式化开发方法.该方法利用Z良好的描述特性和扩充的类机制,将系......