崔志明 张广泉 周航 曹子宁 刘全 仲晶 沈国华 黄凤 祝义 孙海燕 李凡长 陈圣青 董泉源 朱小栋 于瑞强 张君华 凌兴宏

复杂度 测试用例 数据挖掘 对象Petri网 资源 实时软件 行为理论 Web服务 时间通信顺序进程 预测模型标记语言 Java 时间自动机 建模 数据流 面向对象 对象约束语言 过程模型 时间迁移系统 描述逻辑 时序图 最小代价 多代价 CORBA 可达性 多态性 通信顺序进程 Web 概率 物流管理 度量

苏州大学计算机科学与技术学院 南京师范大学数学与计算机科学学院 南京航空航天大学信息科学与技术学院 南京航空航天大学计算中心 江苏徐州 江苏南京 解放军理工大学通信工程学院 江苏苏州