姜文峰 赵洋 黄春浩 徐立中 潘金贵

基于对象、域和型的层次式程序表示模型 可扩展程序对象模型 静态分析 中间件 软件质量 软件管理 面向对象分析与设计 软件成熟度模型

江苏南京 南京大学计算机科学与技术系 河海大学计算机及信息工程学院 南京大学计算机软件新技术国家重点实验室