胡正梁 李琰 陈平华 陈平 刘怡俊 冯文胜 燕存正 李龙澍 王笑冶 喻吉波 郑国梁 李景峰 白玉 谭文凯 郭俊丽 李宣东

源代码 直接执行 状态图 话费批价 数据处理器 高级语言 执行计算机 约束 替代者 类图 Pascal语言 USE 用况图 活动图 模型语言 用例图 语义分析 组件图 CASE 实时系统 时间一致性 建模工具 统一建模语言 Petri网 协作图 UML形式化 UML