Non-Redundancy Principle
“Under no circumstances shall the body of a routine ever test for the routine precondition.” (Exception: debugging - see next slide - RJL.)
“To obtain reliable systems we must go from the microscopic view to a macroscopic view encompassing the entire architecture.”
“If we take this global view, simplicity becomes a crucial criterion.”