期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Z规格说明构造方法 被引量:1
1
作者 刘玲 缪淮扣 《计算机工程》 CAS CSCD 北大核心 2000年第2期39-41,共3页
比较完整地描述了Z规格说明的结构和写规格说明的步骤,并通过一个所设计的Z规格说明的实例演示了用Z编写规格说明的过程。
关键词 规格说明 Z模式 初始化定理证明 前置条件简化
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部