骆盈盈 李刚 李必信 segnjueducn 冯登国 王志坚 魏峻 何积丰 周桓 王宇 杨朝晖 张玉清 陈怡海 查鸣 王春玲 朱关铭 缪淮扣 王云峰 刘静 郑国梁 李宣东 童頫 肖国镇 吴建平 冯玉琳 王磊 庞军 侯建民

组件关系 形式规约 移动性 子类型 组件 面向对象 位置 SMV 形式验证 面向对象方法 简化 TMN密码协议 前置条件 Z规格说明 继承 动态配置重构 精化工具 交互 Z规格说明语言 RSL 精化演算 定理证明 规格说明语言 交叉树 实时系统 构件 UTP 密码协议 协议表示法 移动计算