李勇华 吴莹 王敏 杨捷 何峰 姚剑 王锋 郑鹏 吴新玲 朱立松

程序图 SCR 数据挖掘 需求分析 主成分分析 事件驱动型系统 数据变换 原型化方法 时序逻辑 路径测试 需求规格说明 软件测试 嵌入式实时软件 维数消减 基路径 需求工程

武汉大学软件工程国家重点实验室 武汉大学计算机学院 广东广州 武汉理工大学计算机科学与技术学院 广东技术师范学院信息工程系 湖北武汉