耿丽红 王峰 朱怀宏 黄泳翔 陆纪权 王颖颖 李海波 刘明业 李正兰 胡乃静 武成岗 钱德沛 乔如良 吴众欣 张开富 韩林 许庆平 胡永华 彭宇 高琳 韩小琨 张兆庆 刘全 刘大有 姚远 沈钧毅 葛瑶 刘阳 吴红莉 许列飞

数据流 逆向工程 工艺映射 系统集成 系统调用 数据流流向 状态 代码保护 智能型 测试数据自动生成 不变性约束 工作流数据 子程序识别 监控 数据流图 原语 数据访问机制 数据语义约束 控制冲突 数据流 程序静态分析 伽罗瓦域 状态机拆分 有向通路 正确性 计算机辅助测试 并发 图文办公信息系统 程序图 控制依赖

数据流