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

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