赖海光 杜晓晨 许晓春 胡谷雨 胥光辉 李愚 徐名孚 梅琳

原型 性能统计 规格说明语言 安全性 事件关联 规格说明 程序划分 软件工程

南京大学计算机系 南京师范大学计算中心 解放军理工大学计算机系 通信工程学院计算机教研室 汕头大学计算机与信息工程系 南京大学软件新技术国家重点实验室 南京大学计算机软件新技术国家重点实验室 Motorola公司软件系统研究实验室