%0 Journal Article
%T z规格说明的前置条件的简化
%A 缪淮扣？
%J 软件学报
%P 709-715
%D 1997
%X 在软件方法学中，形式方法越来越受到人们的重视，并已被应用于软件开发．z是一种基于数学表示的软件规格说明方法．前置条件的简化是z规格说明方法中一种标准的检查，本文讨论了z规格说明中关于操作的前置条件及其计算．提出了简化过程的终止条件，给出了一个用于简化前置条件的算法，该算法可自动产生简化过程的证据．
%K 形式方法
%K z规格说明
%K 前置条件
%K 简化
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19970910&flag=1