软件行为学

软件行为学 内容提要

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

软件行为学 目录

前  言
第1部分软件行为学概论
第1章软件行为学概述
1.1什么是软件行为学
1.2为什么要研究软件行为学
1.3软件行为学的研究内容
1.4软件行为学的研究方法
1.5如何阅读《软件行为学》这本书.
习题
第2章软件行为基本概念
2.1软件主体、客体、活性客体与行为
2.1.1主体
2.1.2客体
2.1.3活性伴侣客体：代理与客体的捆绑
2.1.4主体对客体的行为
2.2计算机的行为
2.3操作系统的行为
2.4用户在操作系统上的行为
2.5应用系统主体在操作系统上的行为
2.6应用系统主体在网络系统上的行为
2.7描述软件行为的方法
2.8软件行为形式定义
2.8.1类型程序设计
2.8.2范畴论概述
2.8.3构造类别代数范畴
2.8.4类型表达式定义
2.8.5类型表达式与软件自动生成
2.8.6港口类型与港口行为定义
2.8.7进程类型与进程行为定义
2.8.8代理的类型与代理行为定义
2.8.9代理网络类型定义
2.8.10行为语言和语义形式描述及语义解释函数
习题
第3章软件行为状态和行为生存期
3.1软件行为状态概述
3.2开始状态和开始行为
3.3执行状态和激活行为
3.4中断状态与中断行为
3.5中断恢复执行
3.6异常状态和异常处理行为
3.7终止状态和终止行为
3.8行为输入和输入行为
3.9行为输出和输出行为
3，10移动状态和移动

· 软件行为学

· 银行行为控制——银行信息化与安全

· 银行行为监管——银行监管信息化

· 信息化的科学梦——从计算机科学到信息化科学