吴穹 杨杰 王千祥 李克勤 黄小晗 陈锋 曹东刚 谢涛

演化模型 软件体系结构描述语言 模型驱动的软件工程 特征模型 构件提取 对象请求代理 决策抽象 模型检测

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