方南晖 陈怀义 马永进 苏桂平 陈金水 齐学智 金炳尧 李新晖 骆红波 吕述望 郭荷清 张红燕 张为 杨根兴 黄涛 蔡立志 刘士冬 王栩 冯玉琳

人工智能 自然语言 矢列演绎系统 命题逻辑 移动Agent 软件测试 语言解释系统 形式化方法 面向对象 位置 Z规格 软件开发过程 语法和语义 测试用例库 控制软件 形式化规范说明 资源域 说明语言 原型技术 原型文档自适应器 可复用测试用例 UML语言 资源 VDM-SL 形式化分析 安全协议 集合论解释 考试系统