面向?qū)ο筌浖_發(fā)原理

內(nèi)容概要

本書分成四個部分，共12章、10個附錄。第一部分面向?qū)ο笙到y(tǒng)設(shè)計，介紹OO軟件開發(fā)的基礎(chǔ)知識。第二部分面向?qū)ο蟮恼Z言和系統(tǒng)，比較各種OO語言、討論開發(fā)多種語言系統(tǒng)及解決方案。第三部分面向?qū)ο蟮慕M基礎(chǔ)，介紹實(shí)現(xiàn)抽象數(shù)據(jù)模型方法和類型的相關(guān)概念，提出程序驗(yàn)證的斷言邏輯，用形式化的方法提供表示對象行為集合特征的概要。第四部分面向?qū)ο髴?yīng)用框架，討論商務(wù)處理再設(shè)計，對象技術(shù)的Web應(yīng)用及其在計算、智能等方面的新趨勢。附錄部分介紹邏輯程序設(shè)計語言DLP，也介紹UML和CORBA IDL，提出開發(fā)中小型學(xué)期項(xiàng)目的建議。
    本書基本內(nèi)容安排緊湊，并引用了許多的研究文獻(xiàn)，適合不同類型的讀者，包括學(xué)生、軟悠揚(yáng)工程師、專業(yè)教師。本書也適合其他讀者，例如研究人員、程序員等，并可作為大專院校OO課程的主要教材，或者自學(xué)參考書。

作者簡介

Anton Eliens 是荷蘭阿姆斯特丹渥瑞基（Vrije）大學(xué)的講師，同時也是數(shù)學(xué)與計算機(jī)科學(xué)研究中心的研究人員。他的研究興趣包括超媒體系統(tǒng)、分布式邏輯編程、面向?qū)ο筌浖こ?，以及多媒體信息檢索等。

書籍目錄

譯者序  序言  第一版序言  前言  第一部  分面向?qū)ο笙到y(tǒng)設(shè)計  第1章  簡介    第一節(jié)  主題與變化    第二節(jié)  編程示例    第三節(jié)  面向?qū)ο蟮能浻茡P(yáng)生命周期    第四節(jié)  超越面向?qū)ο髥?   第五節(jié)  小結(jié)    習(xí)題  進(jìn)一步讀物  第2章  習(xí)慣用法和模式    第一節(jié)  多態(tài)性    第二節(jié)  hush的用法    第三節(jié)  設(shè)計模式的分類    第四節(jié)  事件驅(qū)動的計算    第五節(jié)  小結(jié)    習(xí)題  進(jìn)一步讀物  第三章  軟件工程的觀點(diǎn)    第一節(jié)  軟件開發(fā)方法    第二節(jié)  標(biāo)識對象    第三節(jié)  契約    第四節(jié)  形式化方法    第五節(jié)  小結(jié)    習(xí)題  進(jìn)一步讀物  第四章  應(yīng)用開發(fā)    第一節(jié)  drawtool應(yīng)用    第二節(jié)  設(shè)計準(zhǔn)則    第三節(jié)  從規(guī)格說明到現(xiàn)實(shí)    第四節(jié)  小結(jié)    習(xí)題  進(jìn)一步讀物  第二部分  面向?qū)ο蟮恼Z言和系統(tǒng)  第五章  面向?qū)ο蟪绦蛟O(shè)計語言    第一節(jié)  對象范例    第二節(jié)  Smalltalk,Eiffel，C++和Java的比較    第三節(jié)  面向?qū)ο笳Z言的設(shè)計難度    第四節(jié)  原型-委托與繼承的比較    第五節(jié)  元級體系結(jié)構(gòu)    第六節(jié)  小結(jié)    習(xí)題  進(jìn)一步讀物  第六章  組件技術(shù)    第一節(jié)  對象與組件    第二節(jié)  互操作性的標(biāo)準(zhǔn)    第三節(jié)  Java平臺—技術(shù)革新    第四節(jié)  一個基于Internet的工作組應(yīng)用程序    第五節(jié)  crush—用CORBA擴(kuò)展hush    第六節(jié)  小結(jié)    習(xí)題  進(jìn)一步讀物理  第七章  軟件體系結(jié)構(gòu)    第一節(jié)  體系結(jié)構(gòu)的元素    第二節(jié)  實(shí)例研究—多媒體特征檢測    第三節(jié)  交叉邊界    第四節(jié)  體系結(jié)構(gòu)的模式與風(fēng)格    第五節(jié)  交叉平臺開發(fā)    第六節(jié)  小結(jié)    習(xí)題  進(jìn)一步讀物  第三部分  面向?qū)ο蠼５幕A(chǔ)  第八章  抽象數(shù)據(jù)類型    第一節(jié)  抽象和類型    第二節(jié)  代數(shù)規(guī)范說明    第三節(jié)  分解—模塊與對象    第四節(jié)  類型與表    第五節(jié)  小結(jié)    習(xí)題  進(jìn)一步讀物  第九章  多態(tài)性    第一節(jié)  抽象繼承    第二節(jié)  子類型關(guān)系    第三節(jié)  多態(tài)性的風(fēng)格    第四節(jié)  類型抽象    第五節(jié)  存在類型—隱藏    第六節(jié)  自引用    第七節(jié)  小結(jié)    習(xí)題  進(jìn)一步讀物附錄

媒體關(guān)注與評論

書評近年來面向?qū)ο螅∣O）技術(shù)在軟件工程領(lǐng)域已經(jīng)處于支配地位。本書圍繞軟件開發(fā)周期的每一階段，從分析、設(shè)計到編程，介紹面向?qū)ο蠹夹g(shù)優(yōu)勢和困難。把面向?qū)ο蠹夹g(shù)基本原理與軟件工程實(shí)踐聯(lián)系起來，這是本書一次系統(tǒng)的嘗試。      書中材料以幻燈片的方式組織起來，每張幻燈片講解一個重要的概念或思想，并配以文字進(jìn)行解釋或評論。		  

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    面向?qū)ο筌浖_發(fā)原理 PDF格式下載

---