张勇翔 樊晓聪 庞军 王武荣 李雯睿 梁佳 郑国梁 周宇 杨朝晖 郑滔 李宣东 高同启 njueducn 朱平 查鸣 刘小东 王云峰 谭毅 徐宝文 沈驿梅 周颖 张鹏程 王迪 segnjueducn 钱宇 蔡菊 董志宏 巩绪芳

应有属性 Bchi自动机 面向对象程序设计 类内聚 依赖图 控制依赖 程序窗口推理 时间属性序列图 类层次图 Aoki度量 形式方法 数据精化 对象子类型 回归测试 测试用例 类层次结构切片 推理规则 层次模型 场景 系统依赖图 耦合度量 软件体系结构 分析框架 虚函数调用图 JAVA 源程序信息分析 属性序列图 方法确定 形式规约 继承

安徽合肥 中国科学技术大学计算机科学技术系 南京大学计算机科学与技术系 东南大学计算机科学与工程学院 江苏南京 南京大学计算机软件新技 解放军理工大学气象学院 解放军理工大学气象学院南京