软件行为学

内容概要

屈延文，现任认息产业部太极联合实验室主任，国家金卡工程办公室安全组组长，中国信息产业商会信息安全产业分会常务副理事长，北京大学、武汉大学、北方交通大学兼职教授及中国民生银行顾问。长期从事计算机科学、系统工程、操作系统、软件工程和信息化总体技术的研究工作，是中国著名的计算机科学学者与专家。
    他是《形式语义学基础与形式说明》、《实用类型程序设计》等著作的作者，是《银行行为监督》和《银行行为控制》著作的主笔，还是《银行计算机信息系统安全技术规范》一书的主编。同时，他还是软件行为学学科的提出者。

书籍目录

前言第1部分  软件行为学概论  第1章  软件行为学概述    1.1 什么是软件行为学    1.2 为什么要研究软件行为学    1.3 软件行为学的研究内容    1.4 软件行为学的研究方法    1.5 如何阅读《软件行为学》这本书.    习题  第2章  软件行为基本概念    2.1 软件主体、客体、活性客体与行为    2.2 计算机的行为    2.3 操作系统的行为    2.4 用户在操作系统上的行为    2.5 应用系统主体在操作系统上的行为    2.6 应用系统主体在网络系统上的行为    2.7 描述软件行为的方法    2.8 软件行为形式定义    习题  第3章 软件行为状态和行为生存期    3.1 软件行为状态概述    3.2 开始状态和开始行为    3.3 执行状态和激活行为    3.4 中断状态与中断行为    3.5 中断恢复执行    3.6 异常状态和异常处理行为    3.7 终止状态和终止行为    3.8 行为输入和输入行为    3.9 行为输出和输出行为    3.10 移动状态和移动行为    3.11 软件行为生存期    3.12 软件行为状态演算    习题  第4章 软件行为特性    4.1 行为的识别特性    4.2 软件行为的对偶性：行为与逆行为    4.3 行为保密性    4.4 行为完整性    4.5 行为可信性    4.6 行为有效性    4.7 行为连续性    4.8 内容可信性    4.9 内容保密性    4.10 内容完整性    习题  第5章  软件群体结构及其行为    5.1 群体行为概述    5.2 群体行为的协同概述    5.3 群体行为协同与类型定义    5.4 群体行为的功能与类型定义    5.5 群体的组织结构与类型定义    5.6 群体代理系统结构与类型定义    5.7 群体软件行为状态    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章 软件行为监管  第10章 软件行为可信认证  第11章 软件行为对抗第3部分 软件行为代理网格平台  第12章 代理网格概论  第13章 代理网格平台体系结构  第14章 服务代理网格平台模型  第15章 管理代理与管理代理网格平台  第16章 安全控制与监管代理及其代理网格平台  第17章 行为对抗代理网格平台模型附录A IT行业发展的时代召唤：代理化--代理技术的研究、应用与发展展望附录B 英文缩写字注释资源参考文献

作者简介

本书系统、详细地讨论了软件行为，尤其是群体软件行为；深入研究了代理或多代理群体的行为。它既是一本原理书籍，描述了软件行为的理论、模型、方法；又是一本计算机系统体系结构书籍，描述了软件行为在不同行为模式系统中的结构问题、运行模式问题、平台问题和应用问题；同时，还是一本反映现代计算机科学综合研究成果的方法学的教科书。本书结构清晰，内容丰富、权威，讲解深入透彻，可以作为大学计算机本科高年级学生和研究生教材；是信息学科硕士、博士生的必读书籍；同时，还可以作为所有行业从事信息技术工作的工程师、技术人员、系统人员和业务人员进修与提高的参考书。

图书封面

---

 软件行为学下载

---