书名页 版权页 前言 序 目录页 第1章 绪论 1.1 研究背景 1.2 研究目的及思路 1.3 研究意义 1.4 主要研究工作 1.5 研究方式 1.6 内容安排 第2章 相关软件理论与领域知识综述 2.1 软件理论综述 2.2 电信运营支撑系统综述 2.3 小结 第3章 SAPS生命周期模型 3.1 元模型 3.2 软件微生命周期模型实例 3.3 软件微生命周期元模型 3.4 SAPS生命周期模型 3.5 小结 第4章 支撑系统的参考SA 4.1 支撑系统SA现状 4.2 支撑系统SA现状分析 4.3 通用SA研究现状分析 4.4 支撑系统本质分析 4.5 支撑系统参考SA的组成原则 4.6 支撑系统参考SA的组成 4.7 支撑系统参考SA的特点 4.8 小结 第5章 支撑系统SAPS的定义 5.1 公用符号及取值定义 5.2 模式系统定义 5.3 具体模式定义 5.4 支撑系统SAPS定义的特点 5.5 小结 第6章 支撑系统SAPS的形式化描述 6.1 形式化方法概述 6.2 本书引入形式化方法的意义 6.3 形式化描述语言简介 6.4 SAPS形式化描述要求 6.5 一种适于描述SAPS的形式化语言——Z语言 6.6 支撑系统的SAPS形式化描述 6.7 小结 第7章 支撑系统SAPS的形式化分析 7.1 形式化分析简介 7.2 本书采用的分析方式与分析过程 7.3 SAPS的本质分析 7.4 SAPS的性质判定标准 7.5 支撑系统的SAPS分析 7.6 小结 第8章 支撑系统SAPS的应用 8.1 支撑系统SAPS的应用内容 8.2 建立、交付支撑系统的SAPS应用系统 8.3 利用SAPS应用系统生成支撑系统的SA 8.4 支撑系统SAPS的应用价值 8.5 小结 第9章 结束语 9.1 研究工作的创新之处 9.2 需进一步开展的研究工作 参考文献 ..更多