11.1: Basic Reliability Mechanisms (b)
Understandability : Constant emphasis on making our software elegant and readable.
Automatic memory management (specifically, garbage collection) is a crucial reliability-enhancing component of any O-O environment [in Java and Eiffel, not C++].
Static typing: Without statically enforced type rules, we would be at the mercy of run-time typing errors.
From these we can now take a closer look at what it will take for a software system to be correct and robust.