净室软件工程 技术与过程

1 (p1): 第一部分 净室软件工程基础
2 (p1-2): 第1章 净室方法概述
2 (p1-3): 1．1 经济地生产高质量软件
2 (p1-4): 1．1．1 可管理的开发
2 (p1-5): 1．1．2 使用中无失效
3 (p1-6): 1．2 净室基础
3 (p1-7): 1．2．1 函数理论
3 (p1-8): 1．2．2 统计理论
4 (p1-9): 1．2．3 净室小组的工作
5 (p1-10): 1．3．2 基于函数的规范、设计和验证
5 (p1-11): 1．3 净室技术
5 (p1-12): 1．3．1 在统计过程控制下的增量开发
7 (p1-13): 1．3．3 正确性验证
7 (p1-14): 1．3．4 统计测试和软件认证
8 (p1-15): 1．4 净室过程
9 (p1-16): 1．5 净室与其他软件工程惯例的关系
9 (p1-17): 1．5．1 面向对象
9 (p1-18): 1．5．2 软件复用
10 (p1-19): 1．5．4 检查和评审
10 (p1-20): 1．5．5 软件测试方法
10 (p1-21): 1．5．3 软件体系结构
11 (p1-22): 1．6 净室工程实践
11 (p1-23): 1．7 参考文献
11 (p1-24): 1．8 推荐读物
14 (p1-25): 第2章 增量式开发的净室管理
14 (p1-26): 2．1 增量式开发的优点
14 (p1-27): 2．1．1 进展的可见性
15 (p1-28): 2．1．2 智能控制
15 (p1-29): 2．1．3 增量系统集成
15 (p1-30): 2．1．4 连续质量反馈贯穿统计过程控制
16 (p1-31): 2．2 增量式开发的理论基础
16 (p1-32): 2．2．1 算术中的引用透明性
16 (p1-33): 2．1．5 用户使用中不断的功能反馈
16 (p1-34): 2．1．7 进度与资源管理
16 (p1-35): 2．1．6 变更的积累
17 (p1-36): 2．2．2 软件中的引用透明性
18 (p1-37): 2．3 实践中的增量计划
18 (p1-38): 2．3．1 用户需求
18 (p1-39): 2．3．2 明确需求
18 (p1-40): 2．3．3 操作使用概率
19 (p1-41): 2．4 实践中的增量开发
19 (p1-42): 2．3．6 技术挑战
19 (p1-43): 2．3．7 重用的影响与作用
19 (p1-44): 2．3．5 系统工程
19 (p1-45): 2．3．4 可靠性管理
21 (p1-46): 2．5 参考文献
22 (p1-47): 第3章 净室软件规范
22 (p1-48): 3．1 净室规范和设计的盒子结构
22 (p1-49): 3．1．1 黑盒行为
24 (p1-50): 3．1．2 状态盒行为
25 (p1-51): 3．1．3 明盒行为
25 (p1-52): 3．1．4 盒子结构层次
26 (p1-53): 3．1．5 盒子结构原则
27 (p1-54): 3．1．6 盒子结构的开发过程
28 (p1-55): 3．2 基于序列的规范过程
29 (p1-56): 3．2．1 黑盒定义
30 (p1-57): 3．2．2 状态盒定义
30 (p1-58): 3．3 例子：一个安全报警器的规范
30 (p1-59): 3．3．1 定义黑盒子
34 (p1-60): 3．3．2 状态盒安义
39 (p1-61): 3．4 参考文献
41 (p1-62): 第4章 明盒开发计划
41 (p1-63): 4．1 盒式结构开发
42 (p1-64): 4．2 明盒开发
42 (p1-65): 4．2．1 明盒结构
44 (p1-66): 4．2．2 明盒抽象化和文档化
46 (p1-67): 4．2．3 明盒预期函数设计
48 (p1-68): 4．3 明盒验证
48 (p1-69): 4．3．1 正确性问题
51 (p1-70): 4．3．2 一个正确性验证的例子
54 (p1-71): 4．3．3 实际验证
55 (p1-72): 4．4 例子：安全报警器明盒
55 (p1-73): 4．4．1 设计方案
55 (p1-74): 4．4．2 产品演化中的灵活的结构
56 (p1-75): 4．4．3 安全报警器明盒设计
59 (p1-76): 4．4．4 明盒的正确性验证
62 (p1-77): 4．5 参考文献
63 (p1-78): 第5章 净室软件认证
63 (p1-79): 5．1 基于使用模型的统计测试的优点
64 (p1-80): 5．2 统计测试的理论基础
64 (p1-81): 5．2．1…