杨长春 任铭亮 彭澄廉 杜玄 王晓蒲 孙婧 夏雷 朱彬 欧阳松 霍剑青 邱卫东 袁泉 陈燕 刘勇 於良伟 王学斌 赵子艺 尹剑飞

可执行代数规范 模型转换 基于组件的平台无关模型 可扩展标记语言 查询 SystemC Web开发 平台无关模型 关联 UML 设计模式 重写逻辑 模型组建 转换 基于组件开发 模型 嵌入式系统 统一建模语言扩展 视图 可扩展样式表语言转换 变换 元模型 实现模式