第1章  涉众需求分析
  1.1  组织B1-W1模型
  1.2  创建涉众需求表格
  1.3  捕获涉众需求
  1.4  涉众需求分组
  1.5  涉众需求编号
  1.6  涉众需求分类
第2章  系统环境分析
  2.1  组织B3模型
  2.2  捕获系统环境
  2.3  为系统环境创建IBD
  2.4  捕获系统环境参与者
第3章  用例分析
  3.1  组织B2模型
  3.2  创建用例视图
  3.3  捕获用例
  3.4  创建指定用例场景的图表
  3.5  指定用例场景
  3.6  将操作分配给系统环境参与者
  3.7  指定系统环境参与者间的交互
  3.8  在系统环境参与者间分配项目流
第4章  有效性度量指标分析
  4.1  组织B4模型
  4.2  创建捕捉有效性质量指标（MoEs）的模块
  4.3  捕捉MoEs
第5章  功能分析
  5.1  组织W2模型
  5.2  创建活动图
  5.3  白盒方案
第6章  逻辑子系统通信分析
  6.1  组织W3模型
  6.2  创建用于捕获SoI接口的bdd
  6.3  捕获SoI接口
  6.4  创建捕获逻辑子系统的ibd
  6.5  捕获逻辑子系统
  6.6  指定SoI环境中的交互
第7章  子系统的MoEs分析
  7.1  创建一个细化的需求矩阵
  7.2  获取细化关系
第8章  解决方案域分析
  8.1  组织S1初始模型
  8.2  创建系统需求图表
  8.3  详细说明系统需求
  8.4  建立涉众需求的可追溯性
  8.5  建立其余问题域模型的可追溯性
第9章  系统结构初始化分析（S3）
  9.1  组织S3模型
  9.2  创建捕获高级解决方案架构的bdd
  9.3  捕获HLSA子系统
  9.4  建立W3的可追溯性
  9.5  在HISA中捕获接口
第10章  子系统结构分析
  10.1  组织SS3模型
  10.2  制冷系统建模准备
  10.3  捕获制冷系统的组件
  10.4  创建一个用于指定交互的ibd
  10.5  指定制冷系统与外部之间的交互
  10.6  指定制冷系统内的交互
第11章  系统/子系统行为分析
  11.1  组织SS2的模型
  11.2  创建状态机图
  11.3  捕获制冷系统状态
  11.4  指定转换上的事件发生
  11.5  将信号组织到包中
  11.6  指定状态的入口、执行或退出行为
第12章  子系统结构最终分析
  12.1  组织S3 final模型
  12.2  捕获系统配置的集成结构
  12.3  验证子系统之间的接口兼容性
第13章  系统参数分析
  13.1  组织S4模型
  13.2  指定系统参数以捕获总质量
  13.3  捕获用于计算总质量的公式
  13.4  指定子系统参数以捕获总质量
  13.5  将约束参数绑定到系缈子系统参数
  13.6  自动化需求验证准备
  13.7  增加计算的复杂性
索引