骆启武 熊子阳 张帆 陈中育 舒风笛 付春燕 高为炳 刘小丽 毋国庆 张晓春

监控器 场景 反馈控制 XML DevTrack 模块化状态反馈控制 Axis 需求规格说明 死锁 不变性 SOAP 软件项目过程质量 自动机 组件 层次模型 混杂动态系统 需求分析 适定性 Web Service 实时监控 信息查询 嵌入式实时软件系统 分布式应用 时序图 问题管理 Web Services 系统科学 离散事件系统 目标

北京航空航天大学七研 北京航空航天大学第七研究室 湖北武汉 北京航空航天大学 武汉大学计算机科学系 武汉大学软件工程国家重点实验室 武汉理工大学计算机学院计算机科学系 武汉大学计算机学院