吴穹 杨杰 王千祥 李克勤 黄小晗 陈锋 曹东刚 谢涛 曹建农 孙家骕 杨芙清 王戟 pkueducnxietao cspkueducn 李影 张成志 袁望洪 邵维忠 孙永强 申峻嵘 冯耀东 陈海文 刘天成 张路 崔晓峰 李军国 黄罡 王晓鹏 赵伟 闫华

演化模型 软件体系结构描述语言 模型驱动的软件工程 特征模型 构件提取 对象请求代理 决策抽象 模型检测 连接子 J2EE 变化性分离 构架提取 软件质量 特征冲突 场景 开放服务网关协议 非单调性 规则 软件产品家族 设计决策 QoS信息采集 中间件管理 封装 自主构件 模型检查 操作语义 体系结构描述语言 软件复用 XML 软件构件

北京大学计算机科学技术系 北京大学信息科学技术学院软件研究所高可信... 北京大学信息科学技术学院软件研究所 上海交通大学计算机系 北京100871北京大学高可信软件技术教... 北京大学信息科学技术学院 高可信软件技术教育部重点实验室（北京大学... 高可信软件技术教育部重点实验室