沈国华 刘亚萍 陶剑青 曹子宁 刘永志 祝义 左银龙 柳雪涛 曾云峰 周航 王传栋 程亮 尤晓梅 张广泉 胡军 朱小栋 张江涛 袁敏 肖芳雄 张定会 张静 高鹏 徐丙凤 刘佳 王磊 曹东 张君华 于瑞强 牛家浩 王珊珊

资源自适应 成本分析 水平一致性 模型检测 时间约束 元数据集成 LOTOS 类别 形式化验证 报表工具 关键路径 描述驱动 演化一致性 元对象 实时系统 数据管理 关联规则 本体匹配 工程数据库 抽象语法树 飞机试飞 推理 工程数据管理 时间变迁系统 进程代数 事务链表组 基于概率时间自动机 元数据管理 分布式 描述逻辑

江苏南京 南京航空航天大学计算机系 南京航空航天大学计算中心 南京航空航天大学信息科学与技术学院 南京航空航天大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室 南京航空航天大学自动化学院 徐州师范大学计算机科学与技术学院