方裕 梅宏 唐世渭 李克勤 杨冬青 米宁 吴穹 邵维忠 章远阳 袁望洪 钟林辉 黄小晗 陈宇 陈兆良 李欣 刘瑜 仲萃豪 赵霞 宗志东 王立福 吴琼 孙家骕 段云所 陈向群 冯慧 李健 谢涛 徐家福 cspkueducn 王千祥

程序理解 过程实施 变化性 低能耗 基于构件的框架 J2EE 面向对象 数据模型 程序切片 动态频率调节 永久性对象 软件失效 程序设计语言 软件特征 子程序说明 软件度量 自动化 仪器测试应用软件 操作系统结构 设计方法 网构软件 类型推导 动态功耗管理 软件测试 领域工程 构件组装 类型程序设计 永久性 软件体系结构 虚拟仪器

北京大学计算机科学与技术系 北京大学 航天工业总公司无线电计量测试研究所 北京大学计算机科学系 中国科学院计算技术研究所 北京大学计算机科学技术系 浙江大学生命科学与医学工程学系 北京100871北京工商大学计算机学院