于笑丰 吴宏 齐治昌 于洪敏 王洪媛 李丽萍 张岩 谢晓辉 谭庆平 王林章 陈致明 唐庆 缪淮扣 吴洁明 郑山红 李万龙 施寅生 郑国梁 杨广华 刘建华 陈志刚 张可 张海鸥 齐璇 胡军 张正 谢康林 卓琳 张家晨 唐玉华

统一建模语言（UML） 资料室管理系统 构件 CTL 统一建模语言 有穷命题线性时序逻辑 测试场景 合作图 状态向量 约束消息覆盖准则 非预期状态转换路径 转换 模型检验 场景 命题标记路径集 状态图 测试用例 状态转换 结构化操作语义 形式化方法 UML建模 B方法 LSC 安全性测试 接口自动机 活动图 协作图 实时软件 统一开发过程 类图