郑建丹 肖刚 沈一栋 章晓芳 祝义 骆华俊 陈冬火 樊建席 胡军 陈道喜 龚洁静 林苗 张招亮 刘珊艳 魏慧 李璐 张晓蒙 黄志球 黄正宝 戎玫 周航

UML 软件工程 嵌入式实时软件 组合时间分析 时间自动机 专家系统 中间件 构件 状态图 时态逻辑 第一原理 代价 求精 定性诊断推理 计算模型 Petri网 服务组合 无线传感器网络 体系结构描述语言 UPPAAL 交替计算 实时系统 时间变迁系统 并发程序 混合系统 重叠执行 NSPK协议 多态性 限制临界引用 XYZE

苏州大学计算机科学与技术学院 中科院软件所计算机科学开放研究实验室 暨南大学深圳旅游学院 中国科学院计算机科学国家重点实验室 重庆大学计算机以究所 江苏苏州 重庆师范学院计算机系 徐州师范大学计算机科学与技术学院