軟件行為學(xué)

內(nèi)容概要

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

作者簡介

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

書籍目錄

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

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    軟件行為學(xué) PDF格式下載

---