刘昕 HSSoon 赵俊峰 蒋严冰 麻志毅 杨芙清 杨燕燕 谢冰

过程实施 图转换 元模型 设计模式 逆向工程 软件过程模型 描述语言 模式库组织

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