We define this as the ability to understand be able to assess the different measures of program quality and correctness.

1. Knowledge of the different measures for assessment of programs: clarity, usability, robustness, maintainability, satisfying specifications, time and space efficiency.
2. Knowledge of and the ability to apply the techniques used for assessment of these quality measures.
3. Knowledge of and the ability to use the techniques used for certifying the program quality: formal preconditions, design review, code review, testing.