金凌紫 白赣洪 徐家福 齐治昌 张朝良 郑国梁 火清宁 闫琪 王怀民 游皓聃 毛新军

UML 一致性检测 自动工具 测试充分性准则 Agent 需求模型 模型自动综合 软件理论基础 OCL 软件需求分析 活动序列描述 程序综合 工具 软件自动化 情形实例驱动 程序代数 模型一致性 一致性和完备性的自动检查 软件需求测试 函数式程序设计 任务分析 求解程序方程 正交展开与分解 面向Agent 域理论 约束 程序展开理论 基于Agent系统 面向Agent软件工程 测试用例

南京大学计算机软件研究所 南京大学计算机软件研究所软件新技术国家重... 南京大学计 南京大学计算机科学系 湖南长沙 国防科学技术大学计算机学院 国防科技大学计算机学院 南京大学软件研究所