张幼松 张家重 费宗铭 李未 袁峰 栾尚敏 杨大军 金凌紫 陈道蓄 严殊 徐家福 王岩冰 王志坚 冯铁 吕建 齐治昌 朱鸿 朱迎春 罗铁庚 张东 丁琴 戴敏 刘广起 马绍汉 丁俊华 王洪媛 张家晨

功能分解 正确性 程序代数 算法分解结构 类模型 聚合 归纳学习 功能规约 算法合成 数据库 关联 函数式程序设计 算法重定位 求解程序方程 自动确认 算法构架 机器学习 Excel 规格说明 程序综合 需求定义 问题归约 VB 问题求解 Select 数据采集 抽象数据类型 CASE 实验性 规格说明语言