精化演算

作品数：8被引量：12H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：查鸣郑国梁王云峰庞军李必信更多>>
相关机构：南京大学中国科学院大学江西师范大学中国科学院软件研究所更多>>
相关期刊：《小型微型计算机系统》《南京大学学报（自然科学版）》《计算机研究与发展》《软件学报》更多>>
相关基金：国家自然科学基金“九五”国家科技攻关计划江西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于程序窗口推理的精化演算
《软件学报》2000年第8期1071-1077,共7页王云峰 李必信 庞军 查鸣 郑国梁 
国家自然科学基金! (No.6 96 730 0 6 );国家"九五"重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 6 )资助
由于数据精化需要针对更大的程序块 ,所以 ,它比一般的算法精化更加复杂 .在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容 .该文介绍了相关的基本概念 .在精化演算的基础上 ,构造了一种数据精化算子 ,并提出...
关键词：软件开发 精化演算 数据精化 程序窗口推理 
一种从面向对象Z规约到代码的精化演算方法
《软件学报》2000年第8期1041-1046,共6页王云峰 庞军 查鸣 杨朝晖 郑国梁 
国家自然科学基金! (No.6 96 730 0 6 );国家"九五"重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 6 )资助
COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不...
关键词：形式化开发方法 精化演算 面向对象 代码 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部