精化演算

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向方面程序的精化演算框架被引量：1
《西南师范大学学报（自然科学版）》2018年第7期67-74,共8页谢刚 张明义 杨波 
国家自然科学基金项目(61309006;61563011);贵州师范大学资助博士科研项目
面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础...
关键词：面向方面 精化 演算 
基于问题模式的形式化软件规格说明生成方法被引量：5
《计算机研究与发展》2013年第2期352-360,共9页王昌晶 罗海梅 左正康 
江西省自然科学基金项目(20122BAB211030)
精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式...
关键词：形式化软件规格说明 生成方法 问题模式 模型精化演算 算法程序 
两次数据精化的形式化软件开发方法被引量：3
《计算机工程》2006年第1期102-104,共3页邢小英 王维维 
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范,对模式进行第一次数据精化,然后把它转换为Z模式,再进行过程精化。最后再数据精化到目标代码...
关键词：过程 Z语言 规范 精化演算 PHP 
一种基于Z和精化演算的形式化开发方法被引量：2
《小型微型计算机系统》2001年第5期592-595,共4页阮幼林 李传湘 
通过分析 Z和精化演算各自的特点 ,本文提出了一种使两者无缝集成的形式化开发方法 .该方法利用 Z良好的描述特性和扩充的类机制 ,将系统规约直接定义成精化演算中的抽象程序 ,然后用精化规则对抽象程序逐步精化 ,直到可执行程序 .
关键词：精化演算 软件开发 形式化开发方法 Z语言 软件工程 
一种精化演算支撑工具的分析与设计
《南京大学学报（自然科学版）》2000年第5期560-567,共8页王云峰 李必信 庞军 查鸣 郑国梁 
国家自然科学基金!(6 96 730 0 6 );国家"九五"攻关项目基金!(98 780 0 1 0 7 0 6 )
利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 .在分析现有的精化工具的基础上 ,提出了一个用于软件形式化开发的的精化工具 (RT) ,并对其进行...
关键词：形式方法 精化演算 精化工具 软件工程 
一种从面向对象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在设计和实现阶段的不...
关键词：形式化开发方法 精化演算 面向对象 代码 
基于程序窗口推理的精化演算
《软件学报》2000年第8期1071-1077,共7页王云峰 李必信 庞军 查鸣 郑国梁 
国家自然科学基金! (No.6 96 730 0 6 );国家"九五"重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 6 )资助
由于数据精化需要针对更大的程序块 ,所以 ,它比一般的算法精化更加复杂 .在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容 .该文介绍了相关的基本概念 .在精化演算的基础上 ,构造了一种数据精化算子 ,并提出...
关键词：软件开发 精化演算 数据精化 程序窗口推理 
一种从Z到精化演算的软件开发方法被引量：3
《计算机科学》2000年第2期14-17,68,共5页查鸣 王云峰 郑国梁 
本课题得到"九五"攻关项目(98-780-01-07-06);国家自然科学 69673006
一、引言形式化方法的研究和应用已有二十多年的历史,源于Dijkstra和Hoare的程序验证以及Scott、stratchey等人的程序语义研究,指为保证复杂系统的可靠性,以数学为基础对其进行精确描述和验证的语言、技术和工具。形式化方法的关键在于...
关键词：软件开发方法 Z语言 精化演算 形式化描述语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部