计雷 刘绍华 万明 耿宏 钟德明 刘斌 阮镰 王磊 何亦征 樊玮 樊晓光 崔晓峰 邢建民 褚文奎 邓支益 刘海涛 陆延哲 张凤鸣 王建东 袁利

实时嵌入式软件 四代机 软件工程技术 软件工程 有限状态机 任务模板 军事工程 DOS操作系统 CIDL 软件测试 CORBA 开放式系统 UML 测试环境 状态序列 航天器 CCM 软件构件 工作调度 领域工程 飞机地面作业 航天中心 航空电子体系结构 多主体系统 软件复用 综合模块化航空电子 星载软件 多参数监护仪 领域模型 可测试性设计