计算机科学与技术专业选修课程
《程序设计方法学》选课介绍
课程英文名称：Programming Methodology
是否是双语课程：否
教师：杨宗源
办公地址：闵行校区信息楼319室
办公电话：54345109
Email：
课程内容介绍：
讲授程序设计方法学的地位和重要性；程序控制结构构成的基本原理、基本成份；数据类型、数据抽象、抽象数据类型对程序设计及程序设计语言的影响及重要性；程序正确性证明的基本方法；形式化软件开发的基本原理和典型方法；并行程序设计基本概念,并行程序设计的基本方法.
教材：
教材：无
参考书目：
1.《程序设计方法学》胡正国国防工业出版社
2.《程序设计方法学基础》陈火旺湖南科学技术出版社
3.《程序设计方法学》仲萃豪吉林大学出版社
4.《程序设计方法学教程》张幸儿南京大学出版社
5.《现代软件工程》周之英科学出版社
6.《形式语义学基础与形式说明》屈延文 科学出版社
7.《The Science of Programming》Gries, D.
8.《Communicating Sequential Proceos》Hoare,C.A.R
9.《Programming from Specification》Carroll Morgan
10.《对象技术导论》冯玉琳科学出版社
先修课程：
计算机科学技术专业本科的主干课程.教学实施：
课堂讲授
讲课大纲：
第一章．综述
1.程序设计方法学发展与回顾
2.若干有争议问题的讨论
第二章．程序的基本结构
1.Proper程序和Prime程序
2.复合程序
3结构定理.
4.递归结构定理
第三章．程序的数据结构
1.类型与类型系统程序
2.程序设计语言中的数据类型
3.抽象与抽象数据类型
4.面向对象方法
5.面向方面编程
第四章．程序的正确性证明
1.程序规范与程序的正确性定义
2.部分正确性证明方法
3.完全正确性证明方法
4.最弱前置谓词
第五章．程序的形式推导方法
1.面向目标的程序推导方法
2.不变式推导方法
第六章．程序设计的形式化方法
1.概述
2.基于代数方法的规范语言 – OBJ
3.基于模型方法的规范语言 – VDM
第七章．并行程序设计方法
1.基本概念
2.并行系统
3.并行程序设计语言
4.通讯顺序进程(CSP)
上课时间：
上课时间：每周3节
考核方式：
笔试（闭卷） 100%
可选学生人数：20人
其他说明：本课程是硕士研究生的学位基础课。要求学有余力、优秀的本科生可以选读。形式化方法是本课程的主要内容，如何使学生理解、掌握、运用该方法将贯穿于教学的始终。
