徐家福 李刚 刘琳 缪淮扣 戴敏 朱关铭 徐永森 袁峰 蓬颖 童頫 严明 郑国樑 陈道蓄

形式方法 中心信息库 程序设计法 面向对象 泛代数 代数规格说明 实验性 证明方法 法则 功能分解 转换系统 描述方法 软件规格说明 序关系 完备性 软件自动化 CASE工具 子目标 JSD方法 定义 设计与开发 抽象数据类型 支撑系统 面向对象方法 定律 代码生成程序 代码自动生成 软件工程 定理证明 程序员