陈怡海 冀德学 马发俊 刘玲 杨杰 沈毅 陈进才 郑守淇 占学德 朱彬 文志诚 郑明春 吴方君 王娜 缪淮扣 易彤

验证 形式规约语言 协作 协议 不变式 软件开发 证明责任 测试框架 形式规格语言 形式化方法 多Agent系统 形式化 测试用例 基于规格说明的测试 线性规划 FREE模型 模式 UML statecharts 开放环境 面向对象 TCP Larch 形式描述 形式规格说明 交互 体系结构 一致性测试 前置条件 范畴划分测试 软件度量