Z规格说明的前置条件的简化
THE SIMPLIFICATION OF PRECONDITION IN Z SPECIFICATIONS作者机构：上海大学计算机科学系上海201800
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：1997年第8卷第9期
页 面：709-715页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家863高科技项目
摘 要：在软件方法学中，形式方法越来越受到人们的重视，并已被应用于软件开发．Z是一种基于数学表示的软件规格说明方法．前置条件的简化是Z规格说明方法中一种标准的检查，本文讨论了Z规格说明中关于操作的前置条件及其计算．提出了简化过程的终止条件，给出了一个用于简化前置条件的算法，该算法可自动产生简化过程的证据．
维普期刊数据库
同方期刊数据库