了得網計算機/網絡_面向對像軟件開發原理(原書第2版附光盤)/軟件工程技術叢書

編輯推薦

近年來面向對像（OO）技術在軟件工程領域已經處於支配地位。本書圍繞軟件開發周期的每一階段，從分析、設計到編程，介紹面向對像技術優勢和困難。把面向對像技術基本原理與軟件工程實踐聯繫起來，這是本書一次繫統的嘗試。
書中材料以幻燈片的方式組織起來，每張幻燈片講解一個重要的概念或思想，並配以文字進行解釋或評論。

內容簡介

本書分成四個部分，共12章、10個附錄。部分面向對像繫統設計，介紹OO軟件開發的基礎知識。第二部分面向對像的語言和繫統，比較各種OO語言、討論開發多種語言繫統及解決方案。第三部分面向對像的建橫基礎，介紹實現抽像數據模型方法和類型的相關概念，提出程序驗證的斷言邏輯，用形式化的方法提供表示對像行為集合特征的概要。第四部分面向對像應用框架，討論商務處理再設計，對像技術的Web應用及其在計算、智能等方面的新趨勢。附錄部分介紹邏輯程序設計語言DLP，也介紹UML和CORBA IDL，提出開發中小型學期項目的建議。
本書基本內容安排緊湊，並引用了許多的研究文獻，適合不同類型的讀者，包括學生、軟悠揚工程師、專業教師。本書也適合其他讀者，例如研究人員、程序員等，並可作為大專院校OO課程的主要教材，或者自學參考書。

作者簡介

Anton Eliens 是荷蘭阿姆斯特丹渥瑞基（Vrije）大學的講師，同時也是數學與計算機科學研究中心的研究人員。他的研究興趣包括超媒體繫統、分布式邏輯編程、面向對像軟件工程，以及多媒體信息檢索等。

譯者序
序言
版序言
前言
部分面向對像繫統設計
第1章簡介
節主題與變化
第二節編程示例
第三節面向對像的軟悠揚生命周期
第四節超越面向對像嗎
第五節小結
習題進一步讀物
第2章習慣用法和模式
節多態性譯者序
序言
版序言
前言
部分面向對像繫統設計
第1章簡介
節主題與變化
第二節編程示例
第三節面向對像的軟悠揚生命周期
第四節超越面向對像嗎
第五節小結
習題進一步讀物
第2章習慣用法和模式
節多態性
第二節 hush的用法
第三節設計模式的分類
第四節事件驅動的計算
第五節小結
習題進一步讀物
第三章軟件工程的觀點
節軟件開發方法
第二節標識對像
第三節契約
第四節形式化方法
第五節小結
習題進一步讀物
第四章應用開發
節 drawtool應用
第二節設計準則
第三節從規格說明到現實
第四節小結
習題進一步讀物
第二部分面向對像的語言和繫統
第五章面向對像程序設計語言
節對像範例
第二節 Smalltalk,Eiffel，C++和Java的比較
第三節面向對像語言的設計難度
第四節原型-委托與繼承的比較
第五級體繫結構
第六節小結
習題進一步讀物
第六章組件技術
節對像與組件
第二節互操作性的標準
第三節 Java平臺—技術革新
第四節一個基於Internet的工作組應用程序
第五節 crush—用CORBA擴展hush
第六節小結
習題進一步讀物理
第七章軟件體繫結構
節體繫素
第二節實例研究—多媒體特征檢測
第三節交叉邊界
第四節體繫結構的模式與風格
第五節交叉平臺開發
第六節小結
習題進一步讀物
第三部分面向對像建模的基礎
第八章抽像數據類型
節抽像和類型
第二節代數規範說明
第三節分解—模塊與對像
第四節類型與表
第五節小結
習題進一步讀物
第九章多態性
節抽像繼承
第二節子類型關繫
第三節多態性的風格
第四節類型抽像
第五節存在類型—隱藏
第六節自引用
第七節小結
習題進一步讀物
附錄

商品搜索

商品分类

【醫學】

【各大出版社】