马红妹 柳军飞 王挺 施寅生 陈火旺 王峰 周会平 杨广华 史晓东 任洪涛 郭长国 金松 董广智

义类标注 自然语言处理 测试充分性准则 XYZE 格语法 安全性测试 Java Java异常 统一建模语言 过程元模型 工作流管理系统 异常处理 工作流模式 过程建模语言 过程模型 Web服务 软件过程模型 控制流 顺序图 测试用例 威胁模型 过程支撑环境 知网 语义分析 关系语义场 MINI 工作流引擎 语义类 反应式 工作流

国防科技大学计算机学院 北京系统工程研究所 唐山工人医院 中国科学院软件研究所 中国电子设备系统工程公司 中科院软件所 中国科学院软件所