戴敏

作品数：5被引量：16H指数：3
导出分析报告
供职机构：南京大学计算机科学与技术系计算机软件研究所更多>>
发文主题：软件自动化自动化系统软件开发自动转换规格说明语言更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机研究与发展》《软件学报》《计算机学报》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
从功能规格说明到设计规格说明的自动转换被引量：4
《计算机学报》1991年第2期123-130,共8页徐家福 戴敏 吕建 
本文介绍了算法自动设计的研究背景与设计思想,提出了一种算法设计自动化模型及其形式化的软件规格说明语言表示,并详细讨论了一些常用算法设计方法的自动实现技术.
关键词：功能规格说明 设计规格说明 转换 
算法自动化系统NDADAS被引量：5
《计算机研究与发展》1990年第2期1-5,14,共6页徐家福 戴敏 吕建 
本文给出了在Sun-3工作站上实现的算法设计自动化系统NDADAS的设计背景和设计原理。该系统在实验性软件自动化系统NDAUTO的基础上实现了从用FGSPEC书写的非算法性软件功能规格说明到算法性设计规格说明的自动或半自动生成,提供了级别较...
关键词：软件自动化 算法 自动化系统 
归纳程序综合系统NDIPS的设计被引量：1
《软件学报》1990年第1期57-62,共6页徐家福 戴敏 王志坚 
本文讨论了软件自动化归纳途径的现状、症结和解决方法,介绍了归纳程序综合系统NDIPS的设计思想和实现技术,强调了系统中自动归纳程序的关键技术。
关键词：归纳程序综合 NDIPS 软件 
软件规格说明语言GSPEC被引量：1
《中国科学（A辑）》1989年第5期546-553,共8页戴敏 徐家福 
本文总结了图形化软件规格说明语言GSPEC (Graphical SPECification language)的设计思想。在对软件规格说明语言进行需求分析的基础上,提出了新的软件功能分解模式以及代数与一阶谓词相结合的抽象数据类型定义方法。该语言具有形象易...
关键词：规格说明语言 软件自动化 
实验性软件自动化系统NDAUTO被引量：6
《计算机学报》1989年第2期92-97,共6页徐家福 戴敏 袁峰 陈道蓄 
本文介绍了实验性软件自动化系统NDAUTO的设计与实现。该系统采用转换与过程化相结合的途径,实现了从用图形化规格说明语言GSPEC书写的软件规格说明到可执行程序代码的自动生成,能够在一定意义下保证软件规格说明的正确性和所开发出的...
关键词：NDAUTO 软件开发 软件 软件自动化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部