樊艳芬 徐家福 汪洋 何炎祥 朱连章 缪淮扣 钟珞 张晓莺 王振宇 吕建 杨庆红 刘玲 王淑红 余金山 安娜 吴帅 袁晓东 梁先忠 钱忠胜 张立臣 吴宇琼 孙玉霞 马桂真 陈火炎 袁兆山 房鼎益 郑国梁 朱关铭 张家重 费宗铭

抽象机 转换 行为 扩充 传统思想 精化 设计方法 软件开发过程 软件功能 系统任务 解释器 构件匹配 问题归约 软件开发环境 初始化定理证明 面向对象 词典检索 基于知识 实现 前置条件简化 活动性质 公平 F—P RosettaNet 变换 踪迹等价 状态向量 模式 簇级测试 原型系统