实验性软件自动化系统NDAUTO  

NDAUTO: AN EXPERIMENTAL SOFTWARE AUTOMATION SYSTEM

作　　者：徐家福[1] 戴敏[1] 袁峰[1] 陈道蓄[1] 

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

出　　处：《计算机学报》1989年第2期92-97,共6页Chinese Journal of Computers

摘　　要：本文介绍了实验性软件自动化系统NDAUTO的设计与实现。该系统采用转换与过程化相结合的途径,实现了从用图形化规格说明语言GSPEC书写的软件规格说明到可执行程序代码的自动生成,能够在一定意义下保证软件规格说明的正确性和所开发出的程序代码与其规格说明之间的等价性。This paper describes the design and implementation of an experimental software automation system NDAUTO. By combining the transformational and procedural approaches, the system can transform software functional specifications written in the graphical specification language GSPEC to executable programs automatically. The equivalence between a specification and its corresponding program can be guaranteed, and the correctness of the specification can also be validated.

关 键 词：NDAUTO 软件开发 软件 软件自动化 

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