您的位置： 专家智库 > >

明继军

作品数：2 被引量：0H指数：0
供职机构：上海大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇Z规格说明
  • 1篇等价
  • 1篇谓词
  • 1篇连接式
  • 1篇变式
  • 1篇抽取

机构

  • 2篇上海大学

作者

  • 2篇明继军
  • 1篇缪淮扣
  • 1篇朱关铭

传媒

  • 1篇上海大学学报...

年份

  • 1篇2000
  • 1篇1999
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
Z规格说明的正确性及系统不变式
Z规格说明语言作为一种重要的形式规格说明语言,二十多年有了很大的发展.各种Z语言的支撑工具相继推出,然而,大多数的工具都集中在语法分析和类型检查的范围内,即使提供Z语言的形式推理的工具也都是采用了逆向推理的定理证明方式....
明继军
文献传递
Z规格说明的系统不变式及其抽取
1999年
系统状态转换空间的系统不变式是整个系统状态转换空间中保持不变的状态属性,系统不变式的精确描述及其抽取使规格说明简洁,合理且可读性更强,同时可以使规格说明到可执行软件代码的转换容易实践,本文在讨论系统不变式的描述的基础上,提出一种新的系统不变式抽取的方法.
明继军朱关铭缪淮扣
全选 清除 导出
共1页<1>
聚类工具0