本书以开放网络环境中复杂软件的可信性需求为背最，系统地研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题,论述了复杂软件系统的可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信性保障方法等问题。本书以国家关键应用领城中复杂软件系统的可信性为主攻目标，分析、研究和解决相关科学问题，旨在为提高国家重大工程中的软件可信性提供科学支撑，本书面向软件工程、软件可信性方向的研究人员,软件工程方向的高年级研究生，以及工业界对软件产品高可靠性有要求的技术人员。

第1章复杂软件系统
1.1.复杂软件系统的发展
1.2复杂软件系统的概念和特点
1.3可信计算与软件可信性
1.4复杂软件系统中的可信性问题
1.5软件可信性研究历史与现状
第2章复杂软件系统可信性质评价方法
2.1受约束半环及其性质
2.2原子构件可信性度量
2.3组合构件的可信特征度量
2.4可信度的投影与综合评价
2.5实例分析
2.6本章小结
第3章复杂软件系统业务过程的建模与验证
3.1Pi演算的概念及其基本理论
3.2基于Pi演算的复杂软件系统业务过程模型
3.3业务过程验证
3.4本章小结
……