中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
面向對象軟件開發原理 版權信息
- ISBN：7111111885
- 條形碼：9787111111887 ; 978-7-111-11188-7
- 裝幀：簡裝本
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
面向對象軟件開發原理 內容簡介
軟件工程技術叢書。
本書分成四個部分，共12章、10個附錄。**部分面向對象系統設計（第1-4章），介紹OO軟件開發的基礎知識。第二部分面向對象的語言和系統（第5-7章），比較各種OO語言，討論開發多語言系統及解決方案。第三部分面向對象的建模基礎（第8-10章），介紹實現抽象數據模型方法和類型的相關概念，提出程序驗證的斷言邏輯，用形式化的方法提供表示對象行為集合特征的概要。第四部分面向對象應用框架（第11-12章），討論商務處理再設計，對象技術的Web應用及其在計算、智能、移動agent方面的新趨勢。附錄部分介紹Smalltalk、Eiffel、C 、Java和邏輯程序設計語言DLP，也介紹UML和CORBAIDL（用Orbacus的CORBA應用程序設計指導），提出開發中小型學期項目的建議。
面向對象軟件開發原理 目錄
目錄**部分面向對象系統設計第1章簡介11.1主題與變化11.1.1對象術語31.1.2面向對象的計算41.1.3按契約設計71.2編程范例101.2.1過程化程序設計111.2.2數據抽象121.2.3面向對象編程121.3面向對象的軟件生命周期131.3.1需求分析151.3.2設計171.3.3實現181.4超越面向對象嗎201.5小結22習題23進一步讀物23第2章習慣用法和模式242.1多態性242.1.1Java中的繼承和委托252.1.2C中的多態性272.1.3C中的斷言282.1.4規范類的用法302.2hush的用法312.2.1句柄/主體用法342.2.2虛擬自引用362.2.3動態角色轉換372.2.4hush編程的技巧392.3設計模式的分類412.3.1創建性模式422.3.2結構模式432.3.3行為模式442.4事件驅動的計算462.4.1reactor模式462.4.2抽象事件系統482.5小結51習題52進一步讀物53第3章軟件工程的觀點543.1軟件開發方法543.1.1建模563.1.2需求工程—綜合法573.1.3分析和設計方法—比較研究583.2標識對象603.2.1啟發式建模613.2.2分派責任633.2.3對象角色和交互653.3契約663.3.1說明契約化責任663.3.2契約的求精693.3.3運行時一致性檢查713.4形式化方法713.5小結72習題74進一步讀物74第4章應用開發754.1drawtool應用754.2設計準則864.2.1單個類的設計874.2.2繼承和不變性874.2.3風格的客觀意義884.3從規格說明到現實904.3.1結構封裝與行為封裝904.3.2基于模型的規格說明914.3.3抽象系統和事件954.4小結98習題99進一步讀物99第二部分面向對象的語言和系統第5章面向對象程序設計語言1015.1對象范例1015.1.1面向對象語言的分類1035.1.2替代對象模型1055.1.3Lisp,C和Prolog的對象擴展1055.1.4腳本語言—與Java的集成1075.2Smalltalk,Eiffel,C和Java的比較1085.2.1比較的標準1095.2.2語言特征1105.3面向對象語言的設計維度1135.3.1基于對象與面向對象1135.3.2關于正交化方法—類型擴展1145.3.3多范例語言—邏輯程序設計1165.3.4主動對象—同步Java/C1185.4原型-委托與繼承的比較1205.4.1共享的替代形式1205.4.2實現技巧—Self1225.5元級體系結構1235.6小結125習題127進一步讀物127第6章組件技術1286.1對象與組件1286.1.1定義1286.1.2技術矩陣1296.1.3組件神話1306.2互操作性的標準1316.2.1對象鏈接與嵌入—COM1326.2.2對象請求代理—CORBA1326.2.3持久對象—ODMG1346.3Java平臺—技術革新1366.4一個基于Internet的工作組應用程序1386.5crush—用CORBA擴展hush1396.6小結148習題149進一步讀物149第7章軟件體系結構1507.1體系結構的元素1507.2實例研究—多媒體特征檢測1527.3交叉邊界1587.3.1嵌入式邏輯—跨范例邊界1597.3.2本機對象—跨語言邊界1607.3.3Java和C的結合1647.4體系結構的模式與風格1687.4.1從技術到風格1687.4.2實例研究—可視化的角度1697.5交叉平臺開發1717.6小結172習題173進一步讀物174第三部分面向對象建模的基礎第8章抽象數據類型1758.1抽象和類型1758.1.1編程語言中的抽象1758.1.2基本觀點—類型作為約束條件1768.1.3OOP類型的目標1788.2代數規范說明1798.2.1特征—生成器和觀察器1808.2.2等式—規定約束條件1828.2.3初始代數語義1848.2.4作為代數的對象1878.3分解—模塊與對象1908.3.1抽象接口1918.3.2表示和實現1928.3.3添加新生成器1948.3.4添加新觀察器1968.4類型與類1988.5小結201習題202進一步讀物202第9章多態性2039.1抽象繼承2039.2子類型關系2059.2.1作為集合的類型2059.2.2子類型細化關系2069.2.3作為記錄的對象2089.3多態性的風格2109.4類型抽象2129.4.1簡單類型演算2149.4.2交叉類型2179.4.3受限多態性2209.5存在類型—隱藏2239.6自引用2259.7小結230習題232進一步讀物232第10章行為求精23310.1作為行為的類型23310.2檢驗行為屬性23510.2.1狀態轉換23510.2.2斷言邏輯23610.3行為概念23810.4作為行為類型的對象24110.4.1抽象和表示24110.4.2對應關系24410.5說明行為組成24610.6小結250習題251進一步讀物252第四部分面向對象應用框架第11章商務處理再設計25311.1商務對象—SanFrancisco框架25311.2商務處理模型25611.2.1基于邏輯的模型25611.2.2商務處理模擬25711.2.3實例—貸款需求25911.3面向對象模擬26011.4可視化支持26711.4.1有多少用戶,就有多少視角26811.4.2DIVA—分布式可視化體系結構26911.5從遺留應用中遷移27111.6小結272習題273進一步讀物274第12章Web應用27512.1對象和Web27512.1.1趨勢和技術27612.1.2ObjectWeb—CORBA/Java與微軟對抗27812.2Web程序設計—API的探索28012.2.1計算模型28012.2.2智能代理28212.3DejaVU的經驗—Web上的音樂演奏28412.4軟件體系結構回顧28912.5小結291習題292進一步讀物292附錄附錄ASmalltalk語言293附錄BEiffel語言298附錄CC語言302附錄DJava語言309附錄EDLP語言315附錄F統一建模語言320附錄G接口定義語言—IDL324附錄HHello（CORBA）Universe327附錄I軟件開發項目336附錄J習題答案338參考文獻345
展開全部
書友推薦
- >
月亮虎
- >
山海經
- >
唐代進士錄
- >
二體千字文
- >
煙與鏡
- >
我從未如此眷戀人間
- >
經典常談
- >
伯納黛特,你要去哪(2021新版)
本類暢銷
