费宗铭 徐家福 丁琴 王岩冰 王志坚 朱迎春 翟成祥 陈道蓄 张幼松 吕建 郑明春

自动程序设计 重用 类型语法 软件需求分析 算法构架 组合类型 问题求解 软件自动化 继承 计算机处理汉语 算法分解结构 问题归约 机器学习 面向领域 面向对象语言 面向过程 算法合成 面向对象 类 汉语语法 规格说明 需求模型

南京大学计算机软件研究所 山东师范大学计算机系