軟件行為學

內容概要

本書系統(tǒng)、詳細地討論了軟件行為，尤其是群體軟件行為；深入研究了代理或多代理群體的行為。它既是一本原理書籍，描述了軟件行為的理論、模型、方法；又是一本計算機系統(tǒng)體系結構書籍，描述了軟件行為在不同行為模式系統(tǒng)中的結構問題、運行模式問題、平臺問題和應用問題；同時，還是一本反映現(xiàn)代計算機科學綜合研究成果的方法學的教科書。本書結構清晰，內容豐富、權威，講解深入透徹，可以作為大學計算機本科高年級學生和研究生教材；是信息學科碩士、博士生的必讀書籍；同時，還可以作為所有行業(yè)從事信息技術工作的工程師、技術人員、系統(tǒng)人員和業(yè)務人員進修與提高的參考書。

作者簡介

屈延文，現(xiàn)任認息產業(yè)部太極聯(lián)合實驗室主任，國家金卡工程辦公室安全組組長，中國信息產業(yè)商會信息安全產業(yè)分會常務副理事長，北京大學、武漢大學、北方交通大學兼職教授及中國民生銀行顧問。長期從事計算機科學、系統(tǒng)工程、操作系統(tǒng)、軟件工程和信息化總體技術的研究工作，是中國著名的計算機科學學者與專家。
    他是《形式語義學基礎與形式說明》、《實用類型程序設計》等著作的作者，是《銀行行為監(jiān)督》和《銀行行為控制》著作的主筆，還是《銀行計算機信息系統(tǒng)安全技術規(guī)范》一書的主編。同時，他還是軟件行為學學科的提出者。

書籍目錄

前言第1部分  軟件行為學概論  第1章  軟件行為學概述    1.1 什么是軟件行為學    1.2 為什么要研究軟件行為學    1.3 軟件行為學的研究內容    1.4 軟件行為學的研究方法    1.5 如何閱讀《軟件行為學》這本書.    習題  第2章  軟件行為基本概念    2.1 軟件主體、客體、活性客體與行為    2.2 計算機的行為    2.3 操作系統(tǒng)的行為    2.4 用戶在操作系統(tǒng)上的行為    2.5 應用系統(tǒng)主體在操作系統(tǒng)上的行為    2.6 應用系統(tǒng)主體在網(wǎng)絡系統(tǒng)上的行為    2.7 描述軟件行為的方法    2.8 軟件行為形式定義    習題  第3章 軟件行為狀態(tài)和行為生存期    3.1 軟件行為狀態(tài)概述    3.2 開始狀態(tài)和開始行為    3.3 執(zhí)行狀態(tài)和激活行為    3.4 中斷狀態(tài)與中斷行為    3.5 中斷恢復執(zhí)行    3.6 異常狀態(tài)和異常處理行為    3.7 終止狀態(tài)和終止行為    3.8 行為輸入和輸入行為    3.9 行為輸出和輸出行為    3.10 移動狀態(tài)和移動行為    3.11 軟件行為生存期    3.12 軟件行為狀態(tài)演算    習題  第4章 軟件行為特性    4.1 行為的識別特性    4.2 軟件行為的對偶性：行為與逆行為    4.3 行為保密性    4.4 行為完整性    4.5 行為可信性    4.6 行為有效性    4.7 行為連續(xù)性    4.8 內容可信性    4.9 內容保密性    4.10 內容完整性    習題  第5章  軟件群體結構及其行為    5.1 群體行為概述    5.2 群體行為的協(xié)同概述    5.3 群體行為協(xié)同與類型定義    5.4 群體行為的功能與類型定義    5.5 群體的組織結構與類型定義    5.6 群體代理系統(tǒng)結構與類型定義    5.7 群體軟件行為狀態(tài)    5.8 群體的組織模式與組織行為模式    5.9 群體軟件行為能力的擴展    習題第2部分  軟件行為模式  第6章  行為模式概論    6.1 什么是行為模式    6.2 行為(模式)表達式    6.3 行為模式類型指稱    6.4 行為模式邏輯語義    習題  第7章  伴侶代理行為模式    7.1 伴侶代理行為概述    7.2 伴侶代理行為分類    7.3 信息(客體)伴侶代理處理、傳輸體系    7.4 伴侶代理行為語義解釋    習題  第8章 軟件行為控制  第9章 軟件行為監(jiān)管  第10章 軟件行為可信認證  第11章 軟件行為對抗第3部分 軟件行為代理網(wǎng)格平臺  第12章 代理網(wǎng)格概論  第13章 代理網(wǎng)格平臺體系結構  第14章 服務代理網(wǎng)格平臺模型  第15章 管理代理與管理代理網(wǎng)格平臺  第16章 安全控制與監(jiān)管代理及其代理網(wǎng)格平臺  第17章 行為對抗代理網(wǎng)格平臺模型附錄A IT行業(yè)發(fā)展的時代召喚：代理化--代理技術的研究、應用與發(fā)展展望附錄B 英文縮寫字注釋資源參考文獻

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    軟件行為學 PDF格式下載

---