Z规格说明构造方法  

An Approach to Constructing Z Specification

作　　者：刘玲[1] 缪淮扣[1] 

机构地区：[1]上海大学计算机科学系,上海201800

出　　处：《计算机工程》2000年第2期39-41,共3页Computer Engineering

基　　金：国家自然科学基金(编号69773038);上海市教委科技发展基金(编号97A42)

摘　　要：比较完整地描述了Ｚ规格说明的结构和写规格说明的步骤，并通过一个所设计的Ｚ规格说明的实例演示了用Ｚ编写规格说明的过程。This paper states the structure of Z specification and the steps of writing Z specification. By way of an example designed by authors,the procedure of writing Z specification is demonstrated.

关 键 词：规格说明 Z模式 初始化定理证明 前置条件简化 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] G424.7[自动化与计算机技术—计算机科学与技术]