计算机CC语言编程前言.ppt

应用系统化的、规范化的、定量的方法 软件工程是工程概念在软件领域里的一个特定应用。与其他工程一样，软件工程是在环境不确定和资源受约束的条件下，采用系统化的、规范化的、可定量的方法进行有关原则的实施和应用，这些原则一般是以往经验的积累和提炼，经过实践检验并证明是正确的。因此，软件工程师需要选择和应用适当的理论、方法和工具，同时还要不断探索新的理论和方法解决新的问题。来开发、运行和维护软件，即：将工程应用到软件 * * 用计算机求解实际问题，首先要从这个实际问题中抽象出一个数学模型，然后设计一个求解此数学模型的算法。从实际问题抽取出数学模型的实质，其实就是要用数学的方法抽取其主要的本质的内容，最终实现对该问题的正确认识。 随着计算机网络的发展，计算机的使用已经影响到了人们的工作，生活，学习，社会活动以及商业活动，而计算机的应用根本上是通过软件来实现的。在美国有一种说法，将来一个国家的经济实力可以直接从软件产业反映出来。我国在软件上的落后，要说出根本的原因可能并不是很简单的事，除了技术和科学上的原因外，可能还跟我们的文化，管理水平，教育水平，思想素质等诸多因素有关。除去这些人文因素以外，一个最根本的原因就是我国的信息技术的数学基础十分薄弱，这个问题不解决，我们就难成为软件强国。 　　然而问题决不是这么简单，信息技术的发展已经涉及到了很深的数学知??组合数学 识，而数学本身也已经发展到了很深、很广的程度并不是单凭几个聪明的头脑去想想就行了，而更重要的是需要集体的合作和力量，就象软件的开发需要多方面的人员的合作。美国的软件之所以能领先，其关键就在于在数学基础上他们有很强的实力，有很多杰出的人才。一般人可能会认为数学是一门纯粹的基础科学，1+1的解决可能不会有任何实际的意义。如果真是这样，一门纯粹学科的发展落后几年，甚至十年，关系也不大。然而中国的软件产业的发展已向数学基础提出了急切的需求：网络算法和分析，信息压缩，网络安全，编码技术，系统软件，并行算法，数学机械化和计算机推理，等等。此外，与实际应用有关的还有许多需要数学基础的算法，如运筹规划，金融工程，计算机辅助设计等。如果我们的软件产业还是把眼光一直盯在应用软件和第二次开发，那么我们在应用软件这个领域也会让国外的企业抢去很大的市场。如果我们现在在信息技术的数学基础上，大力支持和投入，那将是亡羊补牢，犹未为晚；只要我们能抢回信息技术的数学基地，那么我们还有可能在软件产业的竞争中，扭转局面，甚至反败为胜 * * 形式语言：通过人们公认的符号，表达方式所描述的一种语言，是一种通用语言，没有国籍之分。 Chomsky于1956年提出了一种用来描述语言的数学系统。人们把用一组数学符号和规则来描述语言的方式称为形式描述，而把所用的数学符号和规则称为形式语言。 形式语言，只是从语法上研究语言。它是抽象的数学系统，用于模拟程序设计语言的语法，或者是并不很成功地模拟自然语言如英语的语法。 形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。 文法和自动机分别从生成和识别的角度去表达语言，且被证明是等价的。 形式化方法的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致，不明确或不完整，因此形式化方法是提高软件系统，特别是safety-critical系统的安全性与可靠性的重要手段． 引言： 形式化方法可以分为形式化描述和建立在形式化描述基础之上的形式化开发。形式化的描述就是用形式化的语言(具有严格的语法语义定义的语言)做描述。形式化的软件开发，就是用形式化的语言来描述软件需求和特征，并且通过推理验证来保证最终的软件产品是否满足这些需求和具备这些特征。这样的验证当然得建立在严格的语法语义的基础之上的。在实际应用中，这是不容易做到的。形式化方法研究的目的就是希望能够提供更好的理论、方法和工具，扩大形式化方法的应用范围和使用价值。 形式化方法的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致，不明确或不完整，有助于增加软件开发人员对系统的理解，因此形式化方法是提高软件系统，特别是safety-critical系统的安全性与可靠性的重要手段．最早的形式化方法是逻辑与逻辑推理，它的目标是使推理机械化．从广义上讲，这一目标受到许多挫折．比如说逻辑系统的不完备性(incompleteness)、逻辑系统的不可判定性(undecidability)、自动推理的难处理性(intractability)．但是在一些实际应用上，逻辑方法和自动推理还是起着非常大的作用． 早期形式化方法在软件验证的应用是串行程序的验证，后来随着软件研究和应用的发展，逐渐多样化．比如用逻辑和代数方法描述