程序设计方法学.pptx

2020/1/30华东师大计算机科学技术系1程序设计方法学ProgrammingMethodology2020/1/30华东师大计算机科学技术系2前言从方法论角度讨论、研究程序设计(软件研发)重点:程序设计的原理、原则与技术目的:提高软件生产率研究程序的性质以及程序设计的理论和方法的学科。基本内容一般可以包括:2020/1/30华东师大计算机科学技术系3程序的性质与特征程序的功能描述程序的正确性验证程序的推导与综合程序的结构分析程序语义的描述程序设计的策略与技术程序研制工具、环境涉及程序设计理论、规范、研发技术(方法)、支持环境与自动程序设计等。2020/1/30华东师大计算机科学技术系4授课内容第一章综述第二章程序的基本结构§§§§§§§(ADT)§§§§§ §(WP)第五章程序的形式推导方法 § § § §——OBJ §——VDM2020/1/30华东师大计算机科学技术系6第七章并行程序设计方法 § § § §(CSP)2020/1/30华东师大计算机科学技术系7基本要求了解程序设计方法学的地位和重要性;掌握程序控制结构构成的基本原理、基本成份;明确数据类型、数据抽象、抽象数据类型对程序设计及程序设计语言的影响及重要性并掌握相关技术;掌握程序正确性证明的基本方法,具有构造程序规范的能力;理解形式化软件开发的基本原理和典型方法;理解并行程序设计基本概念,《程序设计方法学基础》陈火旺湖南***《程序设计方法学》仲萃豪吉林大学出版社《程序设计方法学教程》张幸儿南京大学出版社《现代软件工程》周之英科学出版社《形式语义学基础与形式说明》屈延文科学出版社《TheScienceofProgramming》Gries,D.《CommunicatingSequentialProcessos》Hoare,《ProgrammingfromSpecification》an《程序设计方法学》胡正国国防工业出版社《对象技术导论》冯玉琳科学出版社2020/1/30华东师大计算机科学技术系9第一章综述一、发展回顾四、五十年代 机器指令、汇编指令、FORTRAN、LISP、ALGOL语言的相继出现,主要用于科学计算。 成就: 图灵抽象机奠定了现代计算机的理论基础。 评价标准: 指令条数少存储单元省执行速度快2020/1/30华东师大计算机科学技术系10六,七十年代 高级语言相继出现,编译技术(语言处理程序)成熟,piler、OS、DBMS三大系统软件日趋成熟,解决问题的规模,复杂性大为增加。软件危机出现 缺乏宏观上研究程序设计方法的重要性的认识。“程序设计比人们一般想象的远为复杂得多,其复杂程度超出了人类本身的智力、能力范围。”成就: 数据结构和算法理论 程序设计=数据结构+算法(Kunth 1971)