形式规格说明

作品数：16被引量：36H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：缪淮扣文志诚李晓博陈怡海许庆国更多>>
相关机构：上海大学西北大学中国石油大学（华东）江西师范大学更多>>
相关期刊：《西北大学学报（自然科学版）》《科技信息》《计算机应用与软件》《计算机应用研究》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划湖南省教育厅科研基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
用带时钟变量的线性时态逻辑扩充Object-Z被引量：1
《计算机应用研究》2009年第5期1764-1769,共6页文志诚 李长云 满君丰 
国家自然科学基金资助项目(60773110);湖南省教育厅科研项目(08c284;08c286)
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统,但不能很好地处理连续时间关系,也不能很好地模块化描述形式规格说明。首...
关键词：OBJECT-Z 用带时钟变量的时态逻辑 实时系统 形式规格说明 形式验证 
网络实时系统的一种活动性描述语言
《计算机应用研究》2007年第4期288-291,共4页彭伟洁 张立臣 
国家自然科学基金资助项目(60474072;60174050);广东省自然科学基金资助项目(04009465;010059);广东省高校自然科学基金资助项目(Z03024)
介绍了ADL,它是一种基于网络实时系统的活动性描述语言,一种描述并发处理中时态和功能行为的新的形式规格说明符号。ADL专用于计算机网络,是DOR IS的一种形式语言扩充。它组合了状态机活动(ASM)的图形符号和基于模型的活动功能行为(AFB...
关键词：结构描述语言 形式规格说明 实时处理 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部