第1章 软件与软件工程(精品·公开课件).ppt

联系方式 绪论 计算机科学是什么？1、是科学？是工程学科？还是一门技术？……. 2、学科的智力本质是什么？3、它将持续兴旺下去还是衰落下去？4、 计算机科学和工程的核心课程是否反映了这个领域？ 5、 怎样把理论和实验集成在计算课程中？6、 各核心课程培养计算方面的能力吗？7、 ...... 计算机科学的三个学科形态 对计算机科学的学科形态的认识与争论 (1)认识¤ 理论是数学科学的根本。应用数学家们都认为：科学的进展都是基于纯数学的。¤ 抽象（模型化）是自然科学的根本。科学家相信：科学进展的过程基本上都是形成假设，然后用模型化过程求证。 ¤ 设计是工程的根本。工程师们认为：工程进展都是提出问题，然后通过设计去构造系统，以解决问题。 对计算机科学的学科形态的认识与争论 (2) 争论¤ 基于一个假定：三个过程的某一个是最基本的。¤ 计算的三个形态密切相连抽象和设计阶段出现了理论；理论和设计阶段需要模型化；理论和抽象阶段始终离不开设计。¤ 计算的三个形态有所不同 争论的结论 计算处于应用数学、科学和工程三者的主要过程的交叉路口。 这三个过程在本学科是同等重要和基本的。 它是理论、抽象和设计三者唯一的交汇点。 程序设计的作用 (1) 计算科学 = 程序设计是错误的。 (2) 计算领域的许多活动并不是程序设计，硬件设计、体系结构、操作系统结构、数据库应用等。 (3) 程序设计是本学科标准的实践活动的一部分，每一个计算工作者必须有程序设计的能力。但这并不意味着本学科就建筑在程序设计的基础上，也不意味着导引性课程必须是程序设计方面的课程。 (4) 程序设计语言是涉足本领域特色的工具。建议：程序设计作为核心课程的一部分，并把程序设计语言作为涉足计算学科重要特色的有用媒介。 计算机科学的原有定义 (1) 1967年Newell、Perlis和Simon主张：计算科学是研究计算机及围绕它的主要现象的科学，而且说明反对这个定义就无异于表明其他科学都不是科学。(2) 计算科学资格审查部：计算机科学是关于计算机和计算的知识总体。它由理论、实验和设计三部分，并且包括理解计算专职、程序和系统的理论，为概念的发展和测试所进行的实验，设计方法论、算法和实现工具以及严整这些实现满足要求的分析方法。(3) 计算机科学是研究知识表达机器实现的科学。(4) Abelson和Sussman：计算机革命是思维方法和思维表达方法的革命。 计算机科学简短定义 (1) 计算学科是对描述和变换信息的算法过程的系统研究，包括它的理论、分析、设计、有效性、实现和应用。 (2) 全部计算科学的基本问题是什么能（有效地）自动进行？。 计算机科学划分的分支领域 计算科学的学科能力的培养 (1) 面向学科的思维能力发现本领域新的特性的能力，这些特性导致新的活动方式和新的工具，以便这些特性能被其他人所利用。(2) 使用工具的能力使用本领域的工具有效地进行其他领域时间活动的能力。 建议：把面向学科的思维能力作为计算专业课程设置的主要目的。同时，计算专业工作者必须充分熟悉工具，以便与其他学科的人们有效地合作，进行那些学科的设计活动。 学科渊源 (1) 本学科和算法理论、数理逻辑和存储程序式电子计算机的发明一起，形成于40年代初。(2) 计算的渊源可以深入扩展到数学和工程。数学把分析分到这一领域，而工程把设计分到这一领域。(3) 本学科包括它自己的理论、实验方法和工程。这与许多其他的自然科学不同。许多其他的自然科学和运用其成果的工程学科是分开的（例如化学和化学工程原理）、计算机科学与工程却是不可分的，因为本学科的科学与工程形态从根本上是相互渗透的。 与数学的关系 计算作为数学的主要对象已有几千年了。 ?自然现象的许多模型被用来导出方程，它的解就导致那些自然现象的预言。例如轨道的弹道计算、天气预报和流体的流动等。解这些方程的许多方法已经给出。例如线性方程组的解法、微分方程的解法和求函数的积分。 ?几乎在这同时，机械系统设计中所需要的计算成为工程主要关注的对象。例如计算静态物体压力的算法、计算运动物体惯量的算法和测量比我们直觉要大得多或小得多的距离的方法。 发展方向 （1）新一代计算机体系结构。该方向包括神经元计算、计算机设计与制造、网络与通信技术、大容量存储设备的研究、容错模型内容等；（2）并行与分布式软件开发方法学研究。该方向包括数理逻辑、计算理论、形式语义学、高级语言与程序设计理论、系统软件设计、软件工程、容错理论等内容；（3）人工智能理论及其应用。该方向包括数理逻辑、高等逻辑、算法理论、知识工程、神经元计算、人工智能高能语言与人工智能程序设计等内容；（4）计算机应用的关键技术。主要将围绕计算可视