胡红雷 刘秋华 刘小丽 周国强 朱立松 左保河 陶培基 陈伟清 应时 喻超 唐正力 杨捷 舒风笛 张帆 熊子阳 齐德昱 李明树 蔡持峰 梁正平 肖敬 李剑 王敏 何峰 吴霞 王碧波 唐胜群 苏开根 胡春丽 黄发国 田岗

安全策略 模型 批处理系统 三维仿真 质量属性 USB 半规则实体 代码组件 网络协议 系统建模 UML 可达图 软件需求 ATAM 空间关系 设备驱动程序 SAAM 嵌入式实时软件 代码组件组合重用技术 构图 层次式有穷状态机 安全检测 视点集成 嵌入式实时软件系统 视点 输出请求 不确定性状态转换 马尔可夫链 不可达状态 串空间

武汉大学计算机学院 武汉大学计算机科学系 武汉测绘科技大学光电学院 武汉大学软件工程国家重点实验室 武汉大学软件工程国家重点 武汉大学计算机科学系湖北武汉 武汉大学软件工程研究所 武汉大学计算机科学系软件工程国家重点实验...