张幼松 赵沁平 丁琴 张云洁 宋方敏 陈道蓄 吕建 仲萃豪

正确性 规格说明语言 求解过程 功能分解 规格说明 求解算法 类型语法 抽象数据类型

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