摘要： 比较完整地描述了Ｚ规格说明的结构和写规格说明的步骤，并通过一个所设计的Ｚ规格说明的实例演示了用Ｚ编写规格说明的过程。
关键词:
规格说明,
Z模式,
初始化定理证明,
前置条件简化
Abstract: 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规格说明构造方法[J]. , 2000, 26(02): 39-41.
Liu Ling, Miao Huaikou. An Approach to Constructing Z Specification[J]. , 2000, 26(02): 39-41.