于笑丰 Christian ATTIOGB 张岩 Jean BZIVIN Frédéric JOUAULT 李宣东 胡军 王永敢 王林章 郑国梁

设计模式 行为抽取 消息序列图 无功功率测量 交流采样 建模 极大包含环境 MDA（model driven architecture） 模型转换 不对称误差 构件 接口自动机

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