摘要
本文介绍了实验性软件自动化系统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.
出处
《计算机学报》
EI
CSCD
北大核心
1989年第2期92-97,共6页
Chinese Journal of Computers
