Algorithm Design Automation System NDADAS

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.