顾春华 邵志清 屠佳平 谈叶勇 孙永强 喻萌 周成玉 计春雷 杨澜 张欢欢

关注 结构化 通信顺序进程 视点 STL C标准模板库 异常出口 映射规则 方面需求 统一建模语言 功能规模度量 归纳 E变换 需求工程 描述 应用共享 COSMIC-FFP度量方法 形式化 数据隧道 验证 Generic算法 快速傅里叶变换处理机 Generic程序设计 证明规则 结构成份 重写 通信语句 选择通路 基本动作 用户认证

华东理工大学计算机科学与工程系 上海交通大学 华东化工学院