李云清 薛锦云 肖燕娟 于程远 饶红萍 樊艳芬 吴帅 陈艳琼

程序规范 算法设计方法 Agent 序列 循环不变式 规格说明 抽象机 Ada 可复用部件 算法设计模式 程序设计智能计算机辅助教学 B方法 PAR方法 泛型编程 可重用程序部件 避错方法 正确性 精化 证明义务 集合 容错技术 分划递推法 递推关系 程序的形式推导方法 代数结构 分枝定界算法 分划与递推法 部分实现。 可重用部件

江西师范大学计算机科学系 江西师范大学计算机学院 江西师范大学计算机科学与技术学院 湖南建筑学校