田建刚 梁旗军 李东明 徐秀玮 欧阳元新 王泽 史浩山 吴洁明 唐稚松 刘建华 周伯生 高新勤 崔萌 朱雪阳 孙中涛 樊鑫 陈志刚 李宣东 舒坚 李相枢 张戈 杨艺 熊璋 林楠 王智群 刘琳岚 李新 郑国梁 段振华 孙自安

UML 多色集合理论 过程工程 时序逻辑 用例 建模工具 下推自动机 基于规则的过程 顺序图 替代者 模块 业务过程重组 有穷自动机 旋转向量 测试用例 灰盒方法 农村劳动力技能培训系统 模型语言 实时系统 形式化语义 任务 测试场景 统一建模语言 系统测试 Petri网 模型 用例模型 企业建模 形式语义 XYZE

UML