Principles for Dependable Systems

? High-quality has to be built-in

=> Each stage of development must be done well

=> Testing and correction does not lead to quality

=> Changes should be incorporated into the structure