吴建平 张猛 龚正虎 徐锡山 叶云 方力 蒋杰 陈磊 罗铁根 韩冰 李梦君 隋平 王戟 钟读杭 单锦辉 王怀民 李留英 闫琪 朱鸿 贾焰 曹蕾 姬孟洛 董威 陈振邦 宋曙光 黎建兴 郑延平 陈火旺 毛新军 常志明

相关性 构件 测试用例产生 组合模型检验 Web服务组合 软构件 顺序图 软件重用 组合验证 CASE 形式化方法 失败发散语义 攻击图 编译器优化 可替换性 状态爆炸问题 state chart 动态软件重用 ELOTOS 动态绑定关系 认知状态 LSC LOTOS 基于Agent系统 网构软件 对话控制 体系结构 操作语义 图形用户界面 CTL

湖南长沙 湖北武汉 国防科技大学计算机系 长沙工学院计算机系 武汉通信指挥学院 2武汉大学软件工程国家重点实验室 国防科技大学计算机学院研究生队 武汉大学软件工程国家重点实验室