一个半自动生成Ada程序的软件开发环境GFKD_AUTO  

作　　者：陈火旺[1] 张克均 殷建平 

机构地区：[1]国防科技大学计算机系 [2]南京大学计算机系,210008

出　　处：《计算机工程与科学》1992年第1期32-37,共6页Computer Engineering & Science

摘　　要：本文描述了一个半自动生成Ada程序的软件开发环境GFKD__AUTO的设计与实现。在介绍了设计思想,总体结构和界面情况之后,本文列举了该环境的主要功能,除变换子系统外,该环境还集成了查阅子系统,窗口子系统,编辑子系统(包括正文编辑和图形编辑),编译子系统和文件管理子系统,旨在用来辅助软件开发。变换子系统使用户可通过最少的干预半自动地实现从问题的自然语言描述到Ada程序的变换。

关 键 词：ADA程序 软件开发 GFKD-AUTO 

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