况银瓶 王振宇 陈利 李帮清 李云清 赵恒 吴云 徐宝文 曹万华 薛锦云 张立 池志强 杨庆红 顾保磊 戚晓芳 梁成才

图式结构编辑器 Petri网 SUNADADS 软件方法论 保护对象 Ada95 源级调试器 并发程序设计 程序切片 结构化标记文法 Haskell 程序排错 程序 数据流图 断点 接口机制 可复用部件 图形化结构编辑器 服务性任务 程序错误 并发程序 软件工程 Smalltalk 符号表 军用软件 序列 跨语言 Prolog 程序设计支撑环境 程序设计语言