Sommerville-Software-Engineering-10ed

Contents 11
8.3 Release testing 245
8.4 User testing 249
Chapter 9 Software evolution 255
9.1 Evolution processes 258
9.2 Legacy systems 261
9.3 Software maintenance 270
Part 2 System Dependability and Security 283
Chapter 10 Dependable systems 285
10.1 Dependability properties 288
10.2 Sociotechnical systems 291
10.3 Redundancy and diversity 295
10.4 Dependable processes 297
10.5 Formal methods and dependability 299
Chapter 11 Reliability engineering 306
11.1 Availability and reliability 309
11.2 Reliability requirements 312
11.3 Fault-tolerant architectures 318
11.4 Programming for reliability 325
11.5 Reliability measurement 331
Chapter 12 Safety engineering 339
12.1 Safety-critical systems 341
12.2 Safety requirements 344
12.3 Safety engineering processes 352
12.4 Safety cases 361