叶晓风 李存珠 翟成祥 李辉 蓬颖 邢光荣 过敏意

转换系统 集成环境 程序设计语言 环境信息 程序树 自动程序设计 子程序栈 用户界面 软件设计工具 程序分析 设计与实现 格局 规格说明语言 代数规格说明 抽象数据类型 Modula

南京大学 南京大学计算机科学系 北京信息工程学院软件工程研究中心 南京航空学院