切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
有限构模器的扩展及其在形式化方法中的应用
有限构模器的扩展及其在形式化方法中的应用
来源 :计算机学报 | 被引量 : 0次 | 上传用户:ggy353566
【摘 要】
:
规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包
【作 者】
:
张健
【机 构】
:
中国科学院软件研究所计算机科学开放研究实验室
【出 处】
:
计算机学报
【发表日期】
:
2000年2期
【关键词】
:
形式规约
软件开发
形式化方法
有限构模器
formal specifications
firstorder predicate logic
finite
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包,对已有的一个构模工具进行扩充,发现了文献中的若干错误。
其他文献
让演示文稿有声有色
期刊
POWERPOINT97
幻灯片
中文版
软件工具
Rhotoshop5里的录放机——Action全攻略(连载)
期刊
PHOTOSHOP5
录放机
Action
制图命令组
显示模式
功能键
格子机数据挖掘方法
提出一种新的了机数据挖掘方法,该方法是一种从数据缩减到数据挖掘的方法,其中概括了传统的关系数据库的超关系被作为挖掘的对象,超关系的集合可以-而然地转换为一个完整的布尔代
期刊
数据挖掘
数据缩减
格子
数据库
data mining
data reduction
lattice
在DELPHI中动态更新DBGRID的背景颜色和字体颜色
期刊
DELPHI
程序设计
DBGRID
背景颜色
字体颜色
最佳路径的层次编码及查询算法
有效的路径查询处理是地理信息系统、系统及计算机网络等高级应用中的一个关键需求,文研究如交通网络和通信网络等节点发大的网络中的最佳路径查询算法,为了保证最佳路径查询的
期刊
路径查询
最佳路径
算法
交通网
通信网
path query
best path
path view
hierarchical graph model
AutoCad2000使用绝招
期刊
ArtoCAD2000
制图软件
应用软件
图像处理用户专业图像 轻松拥有
期刊
图像处理软件
速度
PHOTOSHOP
显示器
内存优化
色彩校准
上下文敏感的过程间指针分析
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法
期刊
上下文敏感
批针分析
C语言
程序设计
contextsensitive
pointer analysis
interprocedural analysis
聊天玩花样Microsoft Chat
期刊
MICROSOFT
CHAT
Internet
聊天工具
借你一双慧眼
期刊
硬件检测软件
HardwareInfo
电脑
HWINFO32
与本文相关的学术论文