算法自动化系统NDADAS  

Algorithm Design Automation System NDADAS

作　　者：徐家福[1] 戴敏[1] 吕建[1] 

机构地区：[1]南京大学计算机软件研究所

出　　处：《计算机研究与发展》1990年第2期1-5,14,共6页Journal of Computer Research and Development

摘　　要：本文给出了在Sun-3工作站上实现的算法设计自动化系统NDADAS的设计背景和设计原理。该系统在实验性软件自动化系统NDAUTO的基础上实现了从用FGSPEC书写的非算法性软件功能规格说明到算法性设计规格说明的自动或半自动生成,提供了级别较高的软件规格说明语言,提高了系统的软件自动化程度。This paper describes the design background and principles of the Algorithm Design Automation System NDADAS implemented on SUN-3 workstation. Based on the experimental software automation system NDAUTO, the system NDADAS automatically or semi-automatically generates design specifications from the eorresponding functional specifications written in the higher level functional specification language FGSPEC and hence software automation degree has been greatly increased.

关 键 词：软件自动化 算法 自动化系统 

分 类 号：TP311.51[自动化与计算机技术—计算机软件与理论]