马华东 檀润华 张申生 刘湘伟 葛峰 孙玮鸿 刘俊莉 郝成民 王秀娟 金仙力 韦银星 肖国玺 李培根 张云华 张德运 朱海平 肖健宇 赵国平 王忠浩 杜浩 李嘉丽 闫会强 王念滨 邱芬 曹健 张国军 何曼

统一建模语言 软件测试 B方法 平台无关模型 MDA 统一建摸语言 关联 规格变异 形式化方法 配置模型 变异算子 表单 特征 元模型 OCL约束 产品配置 推理机制 任务配置 Z 语义完整性 元建模 面向对象技术 关系 构件 模型驱动架构 工作流 组织模型 本体表示 大规模定制 模型转换

统一建模语言