Z规格说明构造方法

作     者：刘玲 缪淮扣 Liu Ling, Miao Huaikou (Department of Computer Science, Shanghai University, Shanghai 201800)

作者机构：上海大学计算机科学系上海201800 

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

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2000年第26卷第2期

页      码：39-41页

摘      要：比较完整地描述了Ｚ规格说明的结构和写规格说明的步骤，并通过一个所设计的Ｚ规格说明的实例演示了用Ｚ编写规格说明的过程。

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

学科分类：0401[教育学-教育学类] 04[教育学] 08[工学] 0835[0835] 040102[040102] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2000.02.017

馆 藏 号：203288209...