张天 张岩 王林章 胡军 李宣东 郑国梁

顺序图 建模 行为抽取 嵌入式软件 模型转换 消息序列图 极大包含环境 接口自动机 设计模式 嵌入式建模 MDA（model driven architecture） 构件 构件式系统设计 嵌入式系统 统一建模语言 构件式设计 模型检验 实时软件 统一建模语言（UML）

南京大学计算机科学与技术系 计算机软件新技术国家重点实验室（南京大学... 江苏南京 京大学计算机科学与技术系 计算机软件新技术国家重点实验室 南京大学计算机软件新技术国家重点实验室 南京大学计算机软件新技术国家重点实验室计...