©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development.
©Ian Sommerville 1995/2000 (Modified by Spiros Mancoridis 1999) Software Engineering, 6th edition. Chapter 18 Slide 1 Dependable software development l.
Modified from Sommerville’s originals Software Engineering, 7th edition. Chapter 20&24 Slide 1 Critical systems development.
1 Software Safety and Halstead’s Software Science (Lecture 16) Dr. R. Mall.
