戴敏
- 作品数：5 被引量：16H指数：3
- 供职机构：南京大学计算机科学与技术系计算机软件研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 算法自动化系统NDADAS被引量：5
- 1990年
- 本文给出了在Sun-3工作站上实现的算法设计自动化系统NDADAS的设计背景和设计原理。该系统在实验性软件自动化系统NDAUTO的基础上实现了从用FGSPEC书写的非算法性软件功能规格说明到算法性设计规格说明的自动或半自动生成,提供了级别较高的软件规格说明语言,提高了系统的软件自动化程度。
- 徐家福戴敏吕建
- 关键词：软件自动化自动化系统
- 软件规格说明语言GSPEC被引量：1
- 1989年
- 本文总结了图形化软件规格说明语言GSPEC (Graphical SPECification language)的设计思想。在对软件规格说明语言进行需求分析的基础上,提出了新的软件功能分解模式以及代数与一阶谓词相结合的抽象数据类型定义方法。该语言具有形象易读、表达力强和正确可靠等特点,现已在IBM PC/AT和SUN-3工作站上实现。
- 戴敏徐家福
- 关键词：规格说明语言软件自动化
- 实验性软件自动化系统NDAUTO被引量：6
- 1989年
- 本文介绍了实验性软件自动化系统NDAUTO的设计与实现。该系统采用转换与过程化相结合的途径,实现了从用图形化规格说明语言GSPEC书写的软件规格说明到可执行程序代码的自动生成,能够在一定意义下保证软件规格说明的正确性和所开发出的程序代码与其规格说明之间的等价性。
- 徐家福戴敏袁峰陈道蓄
- 关键词：软件开发软件自动化
- 归纳程序综合系统NDIPS的设计被引量：1
- 1990年
- 本文讨论了软件自动化归纳途径的现状、症结和解决方法,介绍了归纳程序综合系统NDIPS的设计思想和实现技术,强调了系统中自动归纳程序的关键技术。
- 徐家福戴敏王志坚
- 从功能规格说明到设计规格说明的自动转换被引量：4
- 1991年
- 本文介绍了算法自动设计的研究背景与设计思想,提出了一种算法设计自动化模型及其形式化的软件规格说明语言表示,并详细讨论了一些常用算法设计方法的自动实现技术.
- 徐家福戴敏吕建
