形式规格说明

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
实时系统形式规格说明在PVS中的建立被引量：1
《计算机科学》2006年第12期238-242,共5页许庆国 缪淮扣 
国家自然科学基金项目(批准号60173031);国家973项目(编号:2002CB312001)资助。
本文首先简介了时间自动机和时间B櫣chi自动机形式模型,结合时间化时序逻辑(TimedTemporalLogic)的语法和语义,利用定理证明器PVS(PrototypeVerificationSystem)实现了定义在时间自动机状态(或运行)上的时间化分支(或线性)时序逻辑规格...
关键词：实时系统 时间Büchi自动机 时间化时序逻辑 PVS 
一种从Object-Z到CSP规格说明的转化方法
《计算机科学》2006年第11期263-267,共5页文志诚 缪淮扣 许庆国 
国家自然科学基金(60373072);上海市教委第四期重点学科建设基金资助。
面向对象形式规格说明语言Object-Z与进程代数CSP相结合是当今的一个热点,它既可以表示复杂的模块化数据与算法,又可以表示系统的行为,但求精与验证对它们结合后的规格说明需要分别进行处理。本文提出了一个方法,把Object-Z规格说明转化...
关键词：Object—Z CSP 形式规格说明 参数化进程 转化 
面向对象软件的形式规格说明技术被引量：2
《计算机科学》1995年第1期37-42,71,共7页全炳哲 金淳兆 
国家自然科学基金;"863"计划项目
本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z^(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象...
关键词：软件工程 面向对象软件 形式规格说明 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部