程序规约

作品数：10被引量：45H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：杨庆红薛锦云肖美华贺也平李斌更多>>
相关机构：江西师范大学中国科学院大学中国科学院软件研究所吉林大学更多>>
相关期刊：《软件学报》《计算机工程》《计算机与现代化》《信息与电脑》更多>>
相关基金：国家自然科学基金江西省自然科学基金国家科技重大专项国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
数据挖掘技术在计算机软件工程中的应用研究被引量：3
《信息与电脑》2023年第18期26-29,共4页陈利 
随着计算机技术的发展和数据的增长,数据挖掘在各领域都有广泛的应用前景。基于此,文章分析了数据挖掘技术在计算机软件工程中的应用。首先,介绍数据挖掘技术,了解该技术在计算机软件工程中的应用流程。其次,总结数据挖掘技术的常用方...
关键词：数据挖掘技术 软件项目管理 代码克隆检测 程序规约 
数据挖掘技术在软件工程中的应用分析被引量：3
《长江信息通信》2022年第4期113-115,118,共4页卢珊 
为探讨数据挖掘技术在软件工程中的应用,采用理论结合实践的方法,立足数据挖掘机的相关概述,分析了软件工程中应用数据挖掘技术的作用,并提出具体的应用要点,分析结果表明,在软件工程中科学合理的应用数据挖掘技术,可大幅度提升数据采...
关键词：数据挖掘技术 软件工程 代码检索 程序规约 
2类组合数学问题的算法形式化推导被引量：1
《江西师范大学学报（自然科学版）》2019年第4期402-408,共7页熊小超 杨庆红 
国家自然科学基金(61662035)资助项目
组合数学问题算法的研究是计算机科学的重要研究内容,但在许多相关文献中,许多组合数学问题的算法只是经过简单分析得到,并未给出算法程序的详细设计过程,导致读者无法理解算法本质,更无法保证算法程序的正确性.该文在以组合数学中连续...
关键词：形式化方法 程序规约 组合数学 递推技术 
程序自动修复:关键问题及技术被引量：16
《软件学报》2019年第2期244-265,共22页李斌 贺也平 马恒太 
核高基国家科技重大专项(2014ZX01029101-002)~~
程序自动修复技术能够有效地降低软件维护成本,是近年来学术研究的热点问题.待修复程序规约的刻画,对自动修复过程具有至关重要的作用.从规约的角度对程序自动修复问题和技术进行了分析梳理.从待修复程序是否具有完整的程序规约,将现有...
关键词：程序自动修复 静态分析 程序规约 补丁生成 测试集 
3个变形背包问题的形式化推导被引量：1
《江西师范大学学报（自然科学版）》2017年第2期116-121,共6页游颖 杨庆红 齐蕾蕾 
国家自然科学基金(61363013)资助项目
在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变换技术获取问题求解的递推关系,给出了3个变形背包问题的算法推导过程,有效保证了算法程序的可靠性,并可...
关键词：形式化推导 0-1背包问题 二进制向量 程序规约 递推关系 
基于递推技术的算法设计方法的应用研究被引量：1
《计算机与现代化》2012年第6期37-39,共3页张园 杨庆红 胡昊 
算法是计算机科学的核心,算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性,同时能较好地提高算法程序的效率。本文通过两个实例,详细介绍基于递推技术的算法设计方法形式化推导...
关键词：算法设计方法 递推关系 程序规约 
程序规约变换技术在程序设计中的应用
《江西科学》2006年第6期463-465,共3页黄海飞 杨庆红 薛锦云 
国家自然科学基金项目(NO:60273092);江西省教育厅科技项目
算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。
关键词：程序规约 变换技术 算法程序 
形式化方法B及其程序规约机理被引量：16
《计算机工程》2004年第16期16-18,50,共4页肖美华 薛锦云 
国家自然科学基金资助项目(60273092);江西省自然科学基金资助项目(0411041)
用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键。文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方法中抽象机的具体运用,对该方法的特点进行了评述。
关键词：形式化方法B 程序规约 抽象机 程序设计 
基于控制流的多线程程序的静态切片算法被引量：3
《吉林大学学报（理学版）》2003年第4期481-486,共6页张晶 金成植 
国家自然科学基金 (批准号 :60 0 73 0 41)
介绍一种基于控制流的多线程程序的静态切片算法 ,该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息 ,利用这些信息能够判断出程序中的多线程可实现路径 ,从而提高多线程程序静态切片的精度和效率 .最后给出一个多...
关键词：多线程程序 程序依赖图 程序切片 静态切片算法 控制流 程序规约 
R-演算:一个修正程序规约的演算系统被引量：2
《中国科学（E辑）》2002年第5期662-673,共12页李未 
国家"九七三"海量信息重大基础研究项目(G1999032701);国家自然科学基金资助项目(批准号:90104008)
在一个软件规约（Program specification）的形成过程中,规约总是不断被修改,要么增加新的功能,要么由于出现事实反驳,而改正规约中的错误.规约的新功能是与其逻辑无关的新规则,而它的事实反驳则是其反例.新规则和事实反驳都是由研究者...
关键词：软件规约 事实反驳 必要前提 修正演算 R—演算 程序规约 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部