刘超 金茂忠 谢慧娟 高仲仪 程杜平 李晓丽 倪辉 刘楠 段澎 燕翔 刘冬懿 崔岩 包晓露 龙翔 万里威

顺序图 激光弯曲 移植 间隙元素 累积线能量 Java源代码 统一建模语言 构件 显微组织 钛合金 合同 预测 Java字节码 测试复杂性 潜在可重用性 模型验证 剽窃检测 可重用类群 遗留系统 相似性度量 上下文无关文法 面向对象 算法 形式化 文法测试 软件工程 测试充分性准则 构件化

华北航天工业学院计算机科学与工程系 河北廊坊 北京航空航天大学软件工程研究所 北京航空航天大学计算机科学与工程系 北京航空航天大学计算机学院