严明 陈俊良 徐家福 李茜 胥光辉 梅琳 姜馨杰 梅卫峰 凌辉 刘琳 陈健 许晓春 梅卫锋 杜晓晨 卢超

EASTT系统 网络管理 度量自动化 参考模型 JSD方法 事件关联 质量评价 智能代理 静态分析 形式规格说明 规格说明语言 快速原型 嵌入式 CBR 支撑系统 动态测试 软件度量 设计与开发 面向对象 数据抽象 MBR 层次语义模型

江苏南京 南京大学软件新技术国家重点实验室 南京大学计算机科学系 南京大学计算机科学与技术系软件新技术国家... 解放军理工大学指挥自动化学院 南京师范大学数学系 江苏省公安厅通讯处 南京大学计算机科学与技术系计算机软件新技...