《程式開發原理：抽象規格與面向對象設計》是2006年6月1日由 電子工業出版社出版的圖書，作者是(美)利斯科瓦。
基本介紹
- 書名：程式開發原理：抽象規格與面向對象設計
- ISBN：7121026937，9787121026935
- 頁數：443頁
- 裝幀：平裝
- 開本：16開
- 叢書名：國外計算機科學教材系列
作者簡介,內容簡介,目錄,
作者簡介
作者：(美)利斯科瓦
美國麻省理工學院電子工程與計算機科學系資深教授。她是美國國家工程院院士，在程式評議、分散式計算、程式設計方法論以及軟體工程領域做出了卓越的貢獻，曾與John Guttag合著了Abstraction and Specification in Program Dvevlopemt.
內容簡介
本書由著名編程理論專家所著，是美國麻省理工學院電子工程與計算機科學系的編程實踐課程教材。書中討論了怎樣構建具有高可靠性、易於維護和快速修改的軟體的開發方法，強調了軟體的模組化開發思想，用豐富的實例告訴讀者怎樣進行模組化併合理地組織各種模組以構成大型軟體系統的過程。該書的前8章首次提出編程領域中的一些十分有用的抽象概念，如過程抽象、疊代抽象以及最重要的數據抽象等。此外，本書通過大量的例子，用非形式化的規範來詳細定義這些數據抽象，描述模組所需完成的任務，並定義了模組所需的性能邊界條件。該書的後7章主要講述了怎樣利用抽象構建大型軟體，主要側重於軟體工程的內容，基於類型層次結構提出對於數據抽象的調試、測試、需求分析、自頂向下和疊代的開發過程，還簡要介紹了設計模式的概念。
這是一本傳授思想的書籍，能使讀者透過現象看到本質，從而掌握編寫程式的關鍵。本書非常適合作為軟體學院的教材，在低年級即可培養學生對於事物的抽象能力。此外，本書也非常適合軟體開發人員參考。
目錄
1 Introduction
2 Understanding Objects in Java
3 Procedural Abstraction
4 Exceptions
5 Data Abstraction
6 Iteration Abstraction
7 Type Hierarchy
8 Polymorphic Abatractions
9 Specifications
10 Testing and Debugging
11 Requirements Analysis
12 Requirements Specifications
13 Design
14 Between Design and Implementation
15 Design Patterns
Glossary
Index
