程序開(kāi)發(fā)原理

內(nèi)容概要

本書(shū)由著名編程理論專家所著，是美國(guó)麻省理工學(xué)院電子工程與計(jì)算機(jī)科學(xué)系的編程實(shí)踐課程教材。書(shū)中討論了怎樣構(gòu)建具有高可靠性、易于維護(hù)和快速修改的軟件的開(kāi)發(fā)方法，強(qiáng)調(diào)了軟件的模塊化開(kāi)發(fā)思想，用豐富的實(shí)例告訴讀者怎樣進(jìn)行模塊化并合理地組織各種模塊以構(gòu)成大型軟件系統(tǒng)的過(guò)程。該書(shū)的前8章首次提出編程領(lǐng)域中的一些十分有用的抽象概念，如過(guò)程抽象、迭代抽象以及最重要的數(shù)據(jù)抽象等。此外，本書(shū)通過(guò)大量的例子，用非形式化的規(guī)范來(lái)詳細(xì)定義這些數(shù)據(jù)抽象，描述模塊所需完成的任務(wù)，并定義了模塊所需的性能邊界條件。該書(shū)的后7章主要講述了怎樣利用抽象構(gòu)建大型軟件，主要側(cè)重于軟件工程的內(nèi)容，基于類型層次結(jié)構(gòu)提出對(duì)于數(shù)據(jù)抽象的調(diào)試、測(cè)試、需求分析、自頂向下和迭代的開(kāi)發(fā)過(guò)程，還簡(jiǎn)要介紹了設(shè)計(jì)模式的概念。    這是一本傳授思想的書(shū)籍，能使讀者透過(guò)現(xiàn)象看到本質(zhì)，從而掌握編寫(xiě)程序的關(guān)鍵。本書(shū)非常適合作為軟件學(xué)院的教材，在低年級(jí)即可培養(yǎng)學(xué)生對(duì)于事物的抽象能力。此外，本書(shū)也非常適合軟件開(kāi)發(fā)人員參考。

書(shū)籍目錄

1   Introduction  1.1   Decomposition and Abstraction    1.2   Abstraction      1.2.1 Abstraction by Parameterization     1.2.2 Abstraction by Specification     1.2.3 Kinds of Abstractions   1.3   The Remainder of the Book   Exercises  2   Understanding Objects in Java  2.1   Program Structure    2.2   Packages    2.3   Objects and Variables      2.3.1 Mutability     2.3.2 Method Call Semantics   2.4   Type Checking      2.4.1 Type Hierarchy     2.4.2 Conversions and Overloading   2.5   Dispatching    2.6   Types      2.6.1 Primitive Object Types     2.6.2 Vectors   2.7   Stream Input/Output    2.8   Java Applications    Exercises  3   Procedural Abstraction  ……4   Exceptions5   Data Abstraction                     6   Iteration Abstraction               7   Type Hierarchy                    8   Polymorphic Abstractions                9   Specifications10   Testing and Debugging11   Requirements Analysis             12   Requirements Specifications             13   Design                             14   Between Design and Implementation    15   Design Patterns                     Glossary  Index

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    程序開(kāi)發(fā)原理 PDF格式下載

---