陈湘萍 黄冀渝 梅宏 蔡皖东 邹键 刘天成 王千祥 李影

中间件 事件管理技术 分布实时对象计算 可靠性 ABC 模型驱动的软件工程 ORBasc 规则

北京大学信息科学技术学院 香港科技大学计算机科学系 西北工业大学计算机科学与工程系 北京大学信息科学技术学院软件研究所 北京大学信息科学技术学院软件工程研究所 西北工业大学计算机科学与工程系网络计算技... 北京100871北京大学高可信软件技术教... 北京大学信息科学技术学院软件研究所高可信...