软件工程——实践者的研究方法
24.2.2 集合运算符..........................................................................................................................148
24.2.3 逻辑运算符..........................................................................................................................148
24.2.4 序列......................................................................................................................................148
24.3 应用数学符号描述形式规约.................................................................................................148
24.4 形式化规约语言.....................................................................................................................148
24.5 用 Z 表示一个软件构件的例子.............................................................................................149
24.6 形式化方法的十条戒律.........................................................................................................149
24.7 形式化方法—未来之路.........................................................................................................149
第 25 章 净室软件工程..................................................................................................................150
25.1 净室方法.................................................................................................................................150
25.1.1 净室策略..............................................................................................................................150
25.1.2 什么使得净室独特?..........................................................................................................150
25.2 功能规约.................................................................................................................................150
25.2.1 黑盒规约..............................................................................................................................151
25.2.2 状态盒规约..........................................................................................................................151
25.2.3 清晰盒规约..........................................................................................................................151
25.3 设计求精和验证的优点.........................................................................................................151
25.3.1 设计求精和验证..................................................................................................................151
25.3.2 设计验证的优点..................................................................................................................152
25.4 净室测试.................................................................................................................................152
25.4.1 统计的使用测试..................................................................................................................152
25.4.2 认证......................................................................................................................................152
第 26 章 软件复用..........................................................................................................................153
26.1 管理问题.................................................................................................................................153
26.1.1 复用的障碍..........................................................................................................................153
26.1.2 硬件类比..............................................................................................................................153
26.1.3 建立复用途径的一些建议..................................................................................................153
26.2 复用过程.................................................................................................................................154
26.2.1 可复用的软件制品..............................................................................................................154
26.2.2 一个过程模型......................................................................................................................154
26.3 领域工程.................................................................................................................................154
26.3.1 领域分析过程......................................................................................................................154
26.3.2 领域特征..............................................................................................................................154
26.3.3 结构建模和结构点..............................................................................................................155
26.4 建造可复用构件.....................................................................................................................155
26.4.1 为了复用的分析和设计......................................................................................................155
26.4.2 构造方法..............................................................................................................................155
26.4.3 基于构件的开发..................................................................................................................155
26.5 分类和检索构件.....................................................................................................................156
26.5.1 描述可复用构件..................................................................................................................156
26.5.2 复用环境..............................................................................................................................156
26.6 软件复用经济学.....................................................................................................................156
26.6.1 对质量、生产率和成本的影响..........................................................................................156
26.6.2 使用结构点的成本分析......................................................................................................156
13