吴帅 褚伟 张帆 高丽萍 张德运 董皓 姜梦稚 杨庆红 张海鸥 毋国庆 陈海诠 李万龙 刘小丽 樊艳芬 杨丹 喻超 郑山红 梁洪峻 肖健宇

形式化方法 高可信软件工程 B函数 顺序图 嵌入式软件 UML Web Service 类图 安全策略 精化 免疫系统 组件 抽象机 证明义务 统一建模语言 形式化方法 系统建模 BPEL4WS 形式化开发 UML状态机 对象约束语言 均差 TPN 负载平衡 实时系统 作业运行 规格说明 计算机台 分布式计算机系统 主机

形式化方法