郭荷清 尹剑飞 舒忠梅 邵志清 胡金柱 孙永强 欧毓毅 陆朝俊 冯玉琳 陆汝占 张政

代数算子 重写逻辑 模型构造 项重写系统 无归纳的归纳法 面向对象方法学 象形对象 函数程序设计语言 演算系统 OOPEN λ演算 UML 定理证明 面向对象 时序逻辑 时态逻辑 连续模型 模型检查 语义模型 行为约束 Kripke语义