热门文档
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2023-04-19 15:04:26 《千家妙方 上册 1982年》(李文亮等编)
- 2023-10-13 17:09:40 楚辞 中华传统诗词经典 可复制-李山-9787101097528
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2022-11-24 16:17:09 《性爱健康指南》石四维编著
- 2023-10-13 17:09:40 超速学习：我这样做，一个月学会素描，一年学会四种语言，完成MIT四年课程-斯科特·扬著，林慈敏译-9789861755533
- 2023-10-13 17:09:40 初中诗词格律读本 可复制-周建忠 徐乃为 王业强编著-9787101121704
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2023-10-13 17:09:40 曾国藩家书 中华经典藏书(升级版)可复制-檀作文译注-9787101115482
- 2023-10-13 17:09:40 菜根谭 中华经典藏书(升级版)可复制-杨春俏译注-9787101115611
- 2023-01-11 15:23:39 孔子学院传播研究_刘程 安然著_9787516112922
1、本文档共计 327 页，下载后文档不带www.pdfdz.com水印，支持完整阅读内容。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
译者序Carroll Morgan的《Programming from Specifications)》是.~本非常有名的教材，在世界许多重要人学，特别是炊洲各若名大学里)“泛使用。本书通常被作为学习过计算机科学的基础知识和基本程序设计之后，第“门程序设计课程的教材。如作者所说，本书已经成功使用了十儿年。读者可能感到奇怪：在这个飞速发展的领域甩，计算机芯片二大两头翻花样，新语:、新软件云出不穷衍。难道还有什么书籍能“十年·贯制”？这种书籍的内容是不是早已落伍了？还值得花时间看它吗？与普通的程序设计教材和书籍不同，本书并不想教读者某种新的程序设语，或者某个新软件系统的巧妙结构或使用技巧，也不是教某种特定的程序设计方法。这甲讨论的是程序和程序设计本身。讨论的是程序的内在规律，程序设计的道理。我！怎么能说·个程序是正确的”？如何能对自己的程序有这样的信心？应该通过什么样的方式将程序构造出米？这些就是本书的基本论题。这甲所倡宁的是·种严格的程序开发方法：首先分析问题，用严格方式写出程序的规范，而通过·系列具有严格理论基础的推导，最终得到可以运行的程序。本书的讨论并不依赖于仟何特定的程序设计语育（似基本上是以常规的过程性语言为背景）。书中讨论了程序设计过程有关的许多基本概念，如规范和程序、精化法则、不变式、数据不变式、不同的抽象层次及其相互连接等等。这些概念在程序中都是极其重要的，某种意义和某种程度上，它们：宁着·切程序和程序开发广作，无论你是否意识到这些问题。虽然我们已经有了威力强人的程序设计环境，它们可以帮我们跟踪程序执行中每个二进制位的变化。但是，做程序的还是人。如果我们没有真正学握程序设计的科学道理，通过玩命十，通过模仿，也可能做出儿个小程序。似把这种技术手段和工作式推到大型系统恻是极其危险的。今大，整个社会的正常运转对各领域中的基础信总系统的依赖性越米越强。软件失误而造成的损失也可能越米越重大。因此，明大的专业软件开发需要更多的科学，以使开发出的软件能够植根于更坚实的基础之上。看看今大建筑设计部门或者建筑公司，并不是任何人都能去设计摩大大楼、建设跨江大桥和高速公路。其他成熟的技术领域也~样。未米的软件开发也将需要有分级资格制度，只有达到一定水平，掌握相应的理论基础和实际工具，按照某种必须的丁作程序做事情，并有相应质量保证体系的软件公司，才有资格去开发那些关系到人们生产生活的重要问题、关系到生命财产安全、关系到整个社会正常运转的软件和系统。专业软件和程序工作者与业余爱好者之间的差异，最终将表现在他们对本领域的理论基础及其深刻内涵的认识程度上。而在今大，这两类人之间的差异几乎被人们所忽略，似乎任何人在计算机上摸爬滚打一阵，就可以搞软件了。实际上，这也正是目前软件质量低劣，故障频发的一个原因，是这个领域不成熟的-种表现。任何领域的专业作者都必须经过一段系统化的专业学习（未必是在学校，同样也可以经过自学），掌握了本领域中基本的专业基础理论和技术，才能从事该领域的专业性工作。这是已经被当代科学技术的发展所证明的道理，明天的软件工作者也必须是这样。从这个意义上说，本书也可以看作是为培养明大的专业软件工作者的一种探索。要读完这本书，学完（教好）一个基于本书的课程需要付出很大的努力，需要卜功夫去思考，努力弄清楚有关的基本思想和技术。不像去读一本有关流行软件或者语言的入门书，而后到计算机上模仿出几个小程序那样轻松。但是，这个努力的回报也将是极其丰厚的。在学完这本书，基本上理解了其中的思想和观点，对于其中的基本概念有了一定认识之后，你会发现自己对程序的认识深入到了另一个层次，对自己的程序更有信心了，在遇到各种情况时也更容易认识到如何找出分析问题的线索。我们当然知道，大部分学软件的人最终是去做某些实践性的工作。但也还是应该认识到学习理论的重要性。理论的最基本作用是帮助我们擦亮眼睛，使人能看得更深，看得更远。理论能成为对实践性工作的指导，为我们提供分析认识问题的线索和解决问题的基础。今天，全社会都己经认识到信息科学与技术的发展对于整个社会发展的作用，国家正在大力推动我国的软件产业和软件教育。我们认为，如果有更多的重要学校能够将类似本书所倡导的软件理论和技术作为专业课程的基本内容和要求，必定能对我国软件事业的明天起到重要的推动作用。致谢感谢Carroll Morgan教授提供了本书的TX文件，使本书能够基本上保持原貌，也避免了出现大量错误的可能性。感谢何积丰教授有关本书翻译的意见。此外，秦胜潮、隗刚和张欣阅读了本书的原始译本，提出了一些意见，发现了译本和原书的若干错误。细心的读者如果发现书中的错误，请与我联系：qzy@th.pku.edu,本书用TX系统排版，并借助了若干自己写出的工具程序。有关的英文原本可以在如下网址找到（感谢Carroll Morgan教授）：://weblab.ox.ac.uk/oucl/publications/books/PfS/裘宗燕，北京大学数学学院信息科学系2002年1月
