杜娟 丛晶智 吴会松 张石 李志宏 曾海燕 吕旭 屈延文 计元 梁田 荣西林 张钧 曾国荪 谢越 陆鑫达 陈玉坤 安淑萍 姜宏伟 吕励 王延明

硬件 状态转移图 表示层 数据结构 输出结构 程序设计 组态 多指令多数据流 伪码 单指令多数据流 工作方式 公理化理论 异构性 软件水平考试 属性计算 循环优化 结构设计 单指令单数据流 递归树 性能分析 输入结构 公共服务层 异构计算 应用层 递归子程序 流图分析 设计 程序复杂性度量 子功能模块 结构化