表7.计年算机学院（系、所）研究生课程简介及讲述.docVIP

表7． 计算机 学院（系、所） 研究生课程简介 课程名称： 程序设计方法学 英文名称：Programming Methodology 课程类型：√讲授课程 □实践（实验、实习）课程 □研讨课程 □专题讲座 □其它 考核方式：考试 教学方式：课堂教学 适用专业： 计算机及相关专业 适用层次： 硕士 √ 博士 □ 开课学期： 第一学期 总学时/讲授学时： 32 / 32 学分：2 先修课程要求：数理逻辑，算法设计与分析，程序设计语言 课程组教师姓名 职 称 专 业 年 龄 学术专长 王多强 副教授 计算机 43 算法与软件设计 袁平鹏 副教授 计算机 40 软件开发与数据库 课程教学目标： 程设计方法学是一门研究程序的性质和程序设计的理论与方法的学科。阐述程序设计的原理、原则与技术，从方法论角度深入讨论程序设计的本质，使程序设计更加科学化和工程化，目标是能够设计出可靠、正确、易读、代价合理的程序，提高软件生产的效率。 课程内容涉及程序设计的理论、规范、研发技术、策略、支持环境与自动程序设计等方面。通过本课程的学习，可以深入了解程序的本质，掌握程序语义的描述和程序逻辑的定义，掌握程序正确性证明的原理与方法，掌握程序推导与变换技术。进一步探讨结构化程序设计方法和面向对象的程序设计方法，将程序理论与程序设计的具体过程紧密结合，促进程序设计技术的发展，使学生可以熟练、准确地编写出结构良好、正确可靠的程序。 教学大纲（章节目录）： 第一章 绪论 §1.1 程序设计方法学的产生 §1.2 对程序本质的认识 §1.3 结构程序设计及其存在的一些主要问题 第二章 程序设计方法简介 §2.1 结构化程序设计方法 §2.2 面向对象的程序设计方法 §2.3 程序的结构与设计原则 第三章 程序状态及有关转换的定理 §3.1 程序状态与谓词演算的有关知识 §3.2 程序断言 §3.3 文字代换和状态转换定理 第四章 程序的正确性证明 §4.1 程序规范与程序正确性的定义 §4.2 部分正确性和完全正确性 §4.3 程序正确性证明的方法 §4.4 程序证明提纲和证明法则 §4.5 结构化程序的正确性证明 §4.6 递归程序及其正确性证明 第五章 数据类型与抽象 §5.1 数据类型概念 §5.2 数据抽象及其代数规范 §5.3 抽象数据类型的形式化基础 第六章 程序设计语言的语义 §6.1 谓词转换算子 §6.2 skip语句、abort语句和复合语句 §6.3 赋值语句 §6.4 选择语句和迭代语句 §6.5 过程调用 第七章 程序的形式推导技术 §7.1 气球理论 §7.2 面向目标的程序推导 §7.3 循环不变式的求解技术 §7.4 关于的限界函数的进一步讨论 第八章 程序变换技术 §8.1 程序变换的基本思想和基本规则 §8.2 程序的生成 §8.3 程序变换中的若干问题谈论 第九章 程序的逆 §9.1 程序的逆程序 §9.2 程序求逆的一般方法 第十章 程序质量问题 §10.1 不确定性问题 §10.2 数据表示和程序效率问题 §10.3 文档编制 教材： 胡正国,吴健,邓正宏. 程序设计方法学(第2版)，国防工业出版社，2009 自编程序设计方法学讲义 主要参考书： Mclver，A，Morgan，C著,田玉敏等译. Programming Methodology，中国水利水电出版社 ，2007The Science of Programming，David Gries 注：每门课程都须填写此表。本表不够可加页