唐稚松 祝义 张广泉 李伟 吴健 朱雪阳 李莹 陆汝钤 郭亮 曹存根 李长云 吴朝晖

规范 形式化方法 Statecharts 时序逻辑语言XYZE 时序逻辑 Z 验证 容错转换 XYZE 服务 软件体系结构 UML 快速成型 容错系统 反射 形式语义 模型检测 动态演化 组合 专家系统