软件自动化

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
算法框架:算法重定位的一种可操作的方法被引量：4
《软件学报》1999年第7期679-684,共6页栾尚敏 李未 马绍汉 
国家自然科学基金
算法框架是实现算法重定位的一种可操作的方法．文章给出了算法重定位的定义，讨论了如何通过选择操作和组合操作来设计算法框架．然后给出了定义选择操作和组合操作的一种方法．由文章所定义的算法框架得到求解某一问题的算法模式，从...
关键词：算法设计 软件自动化 算法重定位 算法框架 
一种面向对象程序自动化方法的研究被引量：2
《软件学报》1997年第5期384-390,共7页全炳哲 金淳兆 玄顺姬 
国家自然科学基金;国家"九五"攻关项目;国家863高科技项目基金
构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作。
关键词：面向对象 程序设计 程序自动化 软件自动化 
面向对象软件自动化系统JDAUTO＼0
《软件学报》1996年第A00期304-310,共7页金淳兆 全炳哲 
本文介绍了面向对象经系统ＪＤＡＵＴＯ／０的设计与实现，ＪＯＯＳＬ是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细的自动工具ＰＤＡＵＴＯ和详细设计到Ｃ＋＋代码的自动转换工具ＤＤＡＵＴＯ．
关键词：面向对象 程序设计 软件自动化 
从软件工程的发展看软件自动化被引量：1
《软件学报》1995年第A01期292-300,共9页白光野 徐崇 
本文对软件工程方法学发展各个阶段主要的方法论做了简单的评述，并展望了软件工程今后发展的方向，同时举例说明了以此为指导思想进行软件自动构造的方法。
关键词：软件工程 面向对象 软件自动化 
关于横向程序变换的若干研究被引量：11
《软件学报》1990年第4期1-13,共13页蔡经球 
国家自然科学基金资助
本文对我们近几年来在递归程序等价变换方面之一系列研究工作做了分类总结,所提出的一些新变换模式和技术进一步丰富了人们对横向程序变换技术的认识。 软件自动化是计算机科学的前沿课题之一,其主要研究途径有:演绎综合途径、程序变换...
关键词：横向程序变换 程序变换 软件自动化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部