软件自动化

作品数：289被引量：654H指数：11
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：徐家福张家重刘斌殷永峰郁涵更多>>
相关机构：南京大学北京航空航天大学复旦大学上海交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于程序流程图的数据例化与程序例化被引量：8
《计算机学报》2001年第9期985-990,共6页廖湖声 
北京市自然科学基金 ( 4 982 0 0 2 )资助
提出了一种基于程序流程图的部分求值方法 ,通过采用基于程序流程图的数据例化和面向程序基本块的程序例化 ,能够在例化阶段进行程序基本块例化的同时 ,完成控制转移的优化 ,并生成既可用于编译时刻例化 ,又可用于运行时刻例化的滞留程...
关键词：数据例化 程序流程图 程序例化 软件自动化 
基于解释的程序转换
《计算机学报》1992年第12期881-888,共8页丁琴 徐家福 
程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导程序转化的进程.文中给出了一个基于解释的fold/unfold转换算...
关键词：程序转换 软件自动化 
自学习软件自动化系统算法构架学习中的可操作性
《计算机学报》1992年第12期942-946,共5页陈道蓄 徐家福 
国家863高技术基金
本文讨论了在算法合成背景下,基于解释的学习中可操作性准则问题.针对一种相对复杂的学习目标概念——算法构架,提出了实现可操作性的方法,并探讨了算法自动化系统中通用性与可操作性的制衡关系及其对系统能力的影响.
关键词：软件自动化 算法 构架 可操作性 
自学习软件自动化系统NDSAIL的设计与实现被引量：3
《计算机学报》1992年第11期819-829,共11页徐家福 陈道蓄 吕建 王志坚 费宗铭 张家重 张幼松 丁琴 朱迎春 
国家863高技术项目基金
本文介绍一个具有自学习功能的软件自动化系统NDSAiL。该系统能自动从示例中学习问题分解方法,并用于自动生成部分通用算法.该系统还能自动学习基本算法及算法优化方法.在算法构架学习背景下,有效地解决了解释学习的操作性准则问题;并...
关键词：机器学习 软件自动化 设计 
一种基于知识的由实例综合程序的方法
《计算机学报》1991年第6期432-444,共13页朱鸿 金凌紫 
国家教委优秀青年教师基金;国家自然科学基金
本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序...
关键词：知识 程序综合 软件自动化 
NDAUTO转换程序的设计和实现
《计算机学报》1990年第6期410-419,共10页袁峰 陈晓群 
要使抽象数据类型技术能投入实用,需要研究其实现方法。本文介绍了南京大学研制的实验性软件自动化系统NDAUTO中转换程序的设计和实现。该转换程序接收充分完备、相容且终止的抽象数据类型,使用知识库所存知识,通过和用户作适当交互,导...
关键词：软件自动化 软件程序 抽象数据类型 
实验性软件自动化系统NDAUTO被引量：6
《计算机学报》1989年第2期92-97,共6页徐家福 戴敏 袁峰 陈道蓄 
本文介绍了实验性软件自动化系统NDAUTO的设计与实现。该系统采用转换与过程化相结合的途径,实现了从用图形化规格说明语言GSPEC书写的软件规格说明到可执行程序代码的自动生成,能够在一定意义下保证软件规格说明的正确性和所开发出的...
关键词：NDAUTO 软件开发 软件 软件自动化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部