算法自动化系统NDADAS

Algorithm Design Automation System NDADAS

本文给出了在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.