实验性软件自动化系统NDAUTO |
| |
作者姓名: | 徐家福 戴敏 |
| |
作者单位: | 南京大学计算机软件研究所(徐家福,戴敏,袁峰),南京大学计算机软件研究所(陈道蓄) |
| |
摘 要: | 本文介绍了实验性软件自动化系统NDAUTO的设计与实现。该系统采用转换与过程化相结合的途径,实现了从用图形化规格说明语言GSPEC书写的软件规格说明到可执行程序代码的自动生成,能够在一定意义下保证软件规格说明的正确性和所开发出的程序代码与其规格说明之间的等价性。
|
关 键 词: | NDAUTO 软件开发 软件 软件自动化 |
本文献已被 CNKI 维普 等数据库收录! |
|