刘昕 HSSoon 赵俊峰 蒋严冰 麻志毅 杨芙清 杨燕燕 谢冰 王华 何啸 李健 章远阳 宗志东 朱冰 马浩海 蔡斯博 邵凌霜 梅宏 张文娟 古亮 邹艳珍 柳毅 郑国梁 张能斌 陈海文 郭耀 刘辉 孟祥文

过程实施 图转换 元模型 设计模式 逆向工程 软件过程模型 描述语言 模式库组织 面向对象设计 上层结构 类库 面向对象 UML 模型驱动 分层构造 永久性对象 过程建模语言 可视化编程环境 面向对象系统 UML20 体目标 软件复用 模型 可信评估 软件资源库 模型库 语义 关键特征集 人机界面 算法

北京大学计算机科学技术系 北京大学信息科学技术学院软件研究所 高可信软件技术教育部重点实验室（北京大学... 北京大学计算机系 新加坡国立大学系统科学院 北京大学信息科学与技术学院 高可信软件技术教育部重点实验室 北京大学信息科学与技术学院软件研究所