孙艳春 谢冰 梅宏 吴泉源 杨维 王怀民 蒋力 赵俊峰 黄罡 罗云林 陈湘萍 许晓鸣 赵霞 蔡莲红 邹鹏 方棣棠 孙海燕 迟边进 邵凌霜 王万清 黄学东 郑震宇 项君 王晓东

服务质量（QoS）预测 软件体系结构 钢丝绳 PDA 模型检查 网构软件 CORBA 数字城市 检测系统 逻辑 城市规划 组态软件 探伤 流控机制 Web服务 规划红线 模块 空间管治 谓词名扩展 相似度 行为模型 嵌入式GIS 损伤信号 过程控制 环境切换 监控软件 反应式Agent 服务质量（QoS）

北京大学信息科学技术学院软件研究所 国防科学技术大学计算机学院 高可信软件技术教育部重点实验室 阜新矿业学院电气工程系 北京100871北京大学高可信软件技术教... 清华大学