形式规格说明

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Radl形式规格说明相对正确性研究被引量：6
《软件学报》2013年第4期715-729,共15页王昌晶 薛锦云 
国家自然科学基金重大国际(地区)合作与交流项目(61020106009);国家自然科学基金(61272075);江西省自然科学青年科学基金(201222BAB211030)
在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者...
关键词：形式规格说明 相对正确性 确认 扩展的逻辑系统 辅助证明算法 
从软件功能实例规格说明到软件功能形式规格说明的自动转换被引量：1
《软件学报》1992年第4期24-31,共8页吕建 徐家福 
软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。
关键词：软件 规格说明 形式转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部