王标 陈琳琳 吴国伟 马永进 王少将 丁勇 包铁 亓春霞 曾熠 张广泉 孙月江 金炳尧 邓小妮 刘淑芬 罗雪山 王凤英 胡勇 袁卫卫 杨鹤标 戴宗坤 晏荣杰 杜江

故障管理 逐步求精 同源机制 UML LOTOS 考试系统 协作 类部件 XYZADL 求精 通信顺序进程 验证 XYZE 可视化描述 计算机系统结构 安全状态 C4ISR 开放多任务操作系统 风险评估要素 WWW 内核进程 构件 工作流 Petri网 指挥控制 UCON 软件体系结构 软件复用 安全要素关系图 扩展标记语言