张路 梅宏 周兴社 王戟 赵鲁印 杨芙清 李克勤 焦文品 骆永华 康继昌 吴琼 刘畅 邓芳 黄罡 周明辉 邵津 王晓鹏 左继红

容器 面向对象 J2EE 静态分析 Java 形式化方法 软件维护 软件系统监测 特征交互 软件质量 约束 反射性 中间件 软件分析 模型检测 软件工程 CASE 模型 模式匹配 领域工程 构件 分布式对象技术 演化模型 运行时验证 在线演化 非单调性 应用服务器 对象请求代理 Internentware 动态分析

北京大学计算机科学技术系 北京大学信息科学技术学院软件研究所 北京大学信息科学技术学院高可信软件教育部... 国防科学技术大学计算机学院并行与分布处理...