pm-08-别chap01-概述.ppt

提纲 1.0 程序设计语言 1.1 程序设计方法学发展史 1.2 软件技术的发展概述 1.3 程序设计方法学的定义和研究的内容 1.4 与软件工程的关系 1.5 程序设计的一般方法 1.0 程序设计语言 从1952年第一个高级语言Short Code诞生到现在，程序设计语言先后出现了不同类型、不同版本不下数百种语言。 1.0 程序设计语言 Deterministic vs. Concurrent (确定型和并发型) Imperative vs. Declarative（命令型和声明型） 1.0 程序设计语言 确定型程序, 对每个输入要么给出一个答案，要么是一直循环；通常用顺序型程序设计语言编写，并且运行在顺序型计算机上，但是有时也可以并行化。 并发型程序 可以产生许多不同的答案，或根本没有答案，从作为响应系统的意义上，他不断地与所处的环境进行交互；通常同时运行在多个处理器上。 1.0 程序设计语言 Imperative programs（命令型程序） are those of most conventional languages; they involve commands changing the state of the machine to perform a task; Declarative programs(说明型) give a mathematical axiomatization(公理) of a problem, as opposed to low-level instructions on how to solve it; they can be based on different logical systems. The deterministic vs. concurrent and the imperative vs. declarative are orthogonal distinctions: all four combinations are possible. Prolog程序 hanoi(N):-move(N,left,centre,right)??? move(0,_，_，_，)：-! .??? move(N,A,B,C):- M is N-1, move(M，A，C，B)， inform(A,B), move(M,C,B,A)?? inform(X,Y):- write([move,a,disc,from, the,X,  pole,to,the,Y,pole]),n1. 本例中谓词honoi只有1个变元，表示如果有N个圆盘在A柱上，则hanoi将输出N个圆盘由A柱移到B柱的移动轨迹序列；谓词move有4个变元，其中第一个为要移动的盘的个数，第二、三、四变元分别为源柱子、目标柱子、临时存放柱；谓词inform利用write来输出移动的轨迹。 RoadMap 1.0 程序设计思想与程序设计语言 1.1 程序设计方法学发展史 1.2 软件技术的发展概述 1.3 程序设计方法学的定义和研究的内容 1.4 与软件工程的关系 1.5 程序设计的一般方法 1.1 程序设计方法学发展历史 50年代—60年代初，手工艺式的程序设计方法。D.E.Knuth把程序称为艺术品 60年代末—70年代初， 出现软件危机：一方面需要大量的软件系统，如OS、DBMS；另一方面，软件研制周期长，可靠性差，维护困难。 编程的重点：希望编写出的程序结构清晰、易阅读、易修改、易验证，即得到好结构的程序 1.1 程序设计方法学发展历史 1968年，北大西洋公约组织（NATO）在西德召开了第一次软件工程会议，分析了危机的局面，研究了问题的根源，第一次提出了用工程学的办法解决软件研制和生产的问题，本次会议可以算做是软件发展史上的一个重要的里程碑。 1969年，IFIP（国际信息处理协会）成立了“程序设计方法学工作组”，专门研究程序设计方法学，程序设计从手工艺式向工程化的方法迈进。 结构化程序设计的研究 1968年，结构化程序设计方法的研究。Dijkstra提出了GOTO有害论，希望通过程序静态结构的良好性保证程序动态运行的正确性。 1969年，Wirth提出采用“自顶向下逐步求精、分而治之”的原则进行大型程序的设计。 其基本思想是：从欲求解的