彭亮 王小民 陈平 刘西洋 陈通照 边定平 金益民 康耀红

可重用度度量 网络管理体系结构 特定领域软件体系结构 管程 共享变量 部件模型 体系结构描述语言 程序静态分析

电子科学技术大学 空军工程学院航空工程管理系 西安电子科技大学软件工程研究所 武汉大学软件工程国家重点实验室