表7. 计算 学院（系、所） 研究生课程简介.doc

表7. 计算机学院(系、所) 研究生课程简介
课程名称: 程序设计方法学
英文名称:Programming Methodology
课程类型:√讲授课程□实践(实验、实****课程□研讨课程□专题讲座□其它
考核方式:考试
教学方式:课堂教学
适用专业: 计算机及相关专业
适用层次: 硕士√博士□
开课学期: 第一学期
总学时/讲授学时: 32 / 32
学分:2
先修课程要求:数理逻辑,算法设计与分析,程序设计语言
课程组教师姓名
职称
专业
年龄
学术专长
王多强
副教授
计算机
43
算法与软件设计
袁平鹏
副教授
计算机
40
软件开发与数据库
课程教学目标:
程设计方法学是一门研究程序的性质和程序设计的理论与方法的学科。阐述程序设计的原理、原则与技术,从方法论角度深入讨论程序设计的本质,使程序设计更加科学化和工程化,目标是能够设计出可靠、正确、易读、代价合理的程序,提高软件生产的效率。
课程内容涉及程序设计的理论、规范、研发技术、策略、支持环境与自动程序设计等方面。通过本课程的学****可以深入了解程序的本质,掌握程序语义的描述和程序逻辑的定义,掌握程序正确性证明的原理与方法,掌握程序推导与变换技术。进一步探讨结构化程序设计方法和面向对象的程序设计方法,将程序理论与程序设计的具体过程紧密结合,促进程序设计技术的发展,使学生可以熟练、准确地编写出结构良好、正确可靠的程序。
教学大纲(章节目录):
第一章绪论
§ 程序设计方法学的产生
§ 对程序本质的认识
§ 结构程序设计及其存在的一些主要问题
第二章程序设计方法简介
§ 结构化程序设计方法
§ 面向对象的程序设计方法
§ 程序的结构与设计原则
第三章程序状态及有关转换的定理
§ 程序状态与谓词演算的有关知识
§ 程序断言
§ 文字代换和状态转换定理
第四章程序的正确性证明
§ 程序规范与程序正确性的定义
§ 部分正确性和完全正确性
§ 程序正确性证明的方法
§ 程序证明提纲和证明法则
§ 结构化程序的正确性证明
§ 递归程序及其正确性证明
第五章数据类型与抽象
§ 数据类型概念
§ 数据抽象及其代数规范
§ 抽象数据类型的形式化基础
第六章程序设计语言的语义
§ 谓词转换算子
§ skip语句、abort语句和复合语句
§ 赋值语句
§ 选择语句和迭代