焦文品 董广智 齐璇 朱雪阳 张广泉 骆华俊 柳军飞 郑建丹 阎安 史忠植 唐稚松

风格 形式语义 组合 混成系统 XYZADL 软件体系结构 软件过程模型 Statecharts 过程支撑环境 形式化语义 时序逻辑语言 时序逻辑 过程建模语言 验证 时态逻辑 求精 程序规范 反应式 形式化 体系结构描述语言 相位转换系统 UML 活动图