杨庆红 朱玉明 薛锦云 卢家兴 刘敏 陈南飞 王彦 王素

多态性 变换 形式化推导 程序的形式推导方法 软件重用 Nim 线性回归 Ada 计算机应用 组合游戏 参数优化 可重用程序部件 递推关系 算法设计方法 算法 循环不变式 形式化 规约 代数结构 正确性 统一建模语言 序列 集合 面向对象 PAR方法 部分实现。 面向对象分析技术 可复用部件 活塞设计 程序规范

江西师范大学计算机科学技术学院 江西师范大学计算机科学系 北京航空航天大学汽车工程系