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

顺序图 建模 行为抽取 嵌入式软件 模型转换 消息序列图 极大包含环境 接口自动机

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