徐家福 王毅 屠立 李彤 柳青 周兴社 陈道蓄 韩兆轩 张树有 陆长明 袁峰 戴敏 王黎霞 孔兵

规则库 软件自动化 分解策略 顶层设计 知识模板 叉车 抽象数据类型 结构映射 分解规则 规格说明语言 软件规格说明 交互式 实验性 分布式计算机控制系统 设计重用