课程主要研究问题.docVIP

课程的主要研究问题 程序设计的基本特征 结构化 模块化 对象化 （OOP，Object Oriented Programming） 智能化 （AOP， Agent Oriented Programming） 程序设计标准化问题 形式语义 代数规范 程序正确性的代数证明 程序的形式推导 程序变换技术 程序设计标准实施问题 设计风格 设计方法 设计工具 设计技巧 研究内容 程序设计方法学的基本研究目标是通过对程序本质属性的研究来提高程序的效率，保证程序的正确性 。 通俗地说，程序设计方法学的最基本目标是通过对程序本质属性的研究，说明什么是“优秀”的程序，怎样才能设计出“优秀”的程序。 程序设计方法学是讲述程序性质以及程序设计理论和方法的一门学科。 程序设计方法学 PAGE PAGE 1 基本内容 结构化程序设计方法 模块化程序设计方法 面向对象程序设计方法 函数型程序设计方法 逻辑程序设计方法 程序设计方法发展趋势 程序正确性证明技术 程序形式推导技术 程序变换技术 程序调试技术 抽象数据类型 代数规范理论 类型系统理论 复杂性分析技术 基本方法 基本理论 “优秀”和“不优秀”程序的要素 正确性；结构化；模块化；可重用 可维护；可变化；可管理；可测试 性能均衡 错误的；非结构化； 难以维护；不能适应变化；不可管理 性能与条件失衡 第一章 程序设计方法概论 学习重点： 了解程序设计语言、程序设计方法之间的关系 了解程序设计方法形成和发展的过程 掌握常见程序设计方法的概况 1.1 程序设计语言和程序设计方法 1.1.1 程序设计语言概述 一、定义：程序设计语言是一种用于书写计算机程序的语言。语言的基础是一组记号和一组规则。 程序设计语言是人机交互的一种表达方法，是使用计算机的一种工具。 程序设计语言是建立计算机精确处理模型与人类智能处理模型之间的某种形式化的桥梁。 二、怎样理解和使用程序设计语言？ （1）语法：规定程序的结构或形式，记号串的组成规则； （2）语义：程序的含义，记号的特定意义； （3）语用：程序和使用者之间的关系，人机交互的表达方式； （4）语境：理解、执行和实现程序的环境，预定义成分、与系统实现有关的成分，输入输出。 三、程序设计语言的发展 1、第一代语言：机器语言。 ● 机器语言是最早的计算机语言； ● 运行效率高。它用二进制代码表示数据和指令，这些代码不用翻译即可在计算机上直接执行； ● 指令难记，程序难读。编写机器语言程序是一件枯燥而繁杂的工作，存储空间的安排、寄存器变址的使用都由程序员自己计划，且所有的地址分配都是以绝对地址的形式处理； ● 要把为一种机器编制的程序搬到另一种机器上去运行根本行不通。因为不同的机器有不同的指令系统。 2、第二代语言：汇编语言。 ● 汇编语言是一种比机器语言更接近于自然语言和数学语言的低级程序设计语言。 ● 指令采用助记符表示容易记忆，程序也更容易阅读。由于汇编语言一般都是为特定计算机或计算机系统设计的，因此它虽然比机器语言好学，好记，程序也好写些，但仍然没有解决机器语言存在的问题，其生产效率也很低。 ● 汇编语言也是面向机器的。它能直接操作计算机的寄存器、内存单元和输入/输出端口，能够设计出执行效率很高的程序，因而汇编语言在某些领域仍有应用。 ● 用汇编语言编写的程序需经汇编程序翻译成机器语言程序后才能在计算机上运行。 ● 汇编语言指令与机器指令基本上是一对一的关系，但有的汇编语言中可以有宏指令，它对应于一串机器指令。 机器语言和汇编语言 原始的冯.诺依曼机器（1946年）代码 00000010101111001010 00000010111111001000 00000011001110101000 　　机器语言是晦涩难懂的，因此需要设计另外一种语言来写程序，它应该是符号式的或者说助记性的。 高级语言的优越性：可扩展性；可读性；可移植性 3、第三代语言：高级语言。 是指人容易理解和有利于人对解题过程进行描述的程序语言，通常所讲的程序设计语言往往指的是高级语言。 一、命令式语言 科学计算的语言 Backus[1957]为Fortran的成功预备了两个成分：记法和效率 APL是唯一使用带有专用符号的交互式键盘来编写程序的语言。 商用语言 第一个商用语言是COBOL(面向商业的公用语言的缩写)。它是一种功能很强而又极为冗长的语言 BASIC设计者的最意图体现在该语言的名字上--初学者通用的符号指令码 多用途语言 Alogol60主导20世纪60年代程序设计语言的发展。