何 昭 阮幼林 崔 巍 邹丰忠 詹劲松

统计 组合向量 ID绑定 必要充分条件 非线性动力学 软件工程 面向对象 双接口 迟绑定 早绑定 设计模式 混沌 组件 树图 非线性分析 框架 绑定 结构定理 形式化规约 模式 弱一致收敛 软件复用 Z 软件可靠性 智能指针 随机 结点 向量集 精化演算 自动化

武汉大学计算机学院 武汉水利电力大学计算机科学与技术系 武汉大学软件工程国家重点实验室 中国科学院武汉数学物理研究所