NDAUTO转换程序的设计和实现  

ON DESIGN AND IMPLEMENTATION OF NDAUTOTRANSFORMER

作　　者：袁峰[1] 陈晓群[1] 

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

出　　处：《计算机学报》1990年第6期410-419,共10页Chinese Journal of Computers

摘　　要：要使抽象数据类型技术能投入实用,需要研究其实现方法。本文介绍了南京大学研制的实验性软件自动化系统NDAUTO中转换程序的设计和实现。该转换程序接收充分完备、相容且终止的抽象数据类型,使用知识库所存知识,通过和用户作适当交互,导出抽象数据类型的实现,并给出转换历史作为文档。We present the design and implementation of the program transformer of the NDAUTO system, an experimental software automation system developed in Nanjing University. The transformer is expected to receive sufficiently complete, consistent and terminating abstract data types, use knowledge stored in the knowledge base, interact with user when necessary, derive the implementations for abstract data types, and give out the development history as document.

关 键 词：软件自动化 软件程序 抽象数据类型 

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