摘要
比较完整地描述了Z规格说明的结构和写规格说明的步骤,并通过一个所设计的Z规格说明的实例演示了用Z编写规格说明的过程。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2000年第2期39-41,共3页
Computer Engineering
基金
国家自然科学基金(编号69773038)
上海市教委科技发展基金(编号97A42)
关键词
规格说明
Z模式
初始化定理证明
前置条件简化
Specification
Z schema
Proof of initialization theorem
Precondition simplifying