张幼松 赵沁平 丁琴 张云洁 宋方敏 陈道蓄 吕建 仲萃豪 杨芙清 章萃 朱迎春 戴静安 王志坚 钱士钧 费宗铭 袁峰 张家重 戴敏 金凌紫 张朝良 陈珮珮 朱鸿 火清宁 徐永森 许晓春 朱三元 李茜 瞿成祥 凌辉 章骏

正确性 规格说明语言 求解过程 功能分解 规格说明 求解算法 类型语法 抽象数据类型 软件结构 自动确认 一致性和完备性的自动检查 功能模块 自动工具 接口模块 程序综合 F—P 概念学习 优化 转换 组合类型 软件需求分析 情形实例驱动 转换技术 上限集 函数功能 计算机处理汉语 软件自动化 归纳程序 软件规格说明语言 软件功能

南京大学 南京大学计算机软件研究所 中国科学院计算技术研究所 河海大学计算机系 北京大学 山东师范大学计算机系 南京大学计算机软件新技术国家重点实验室 上海计算技术研究所