This chapter discusses
n
Some important properties we
want our system to have,
specifically correctness and
maintainability.
n
General design characteristic for
achieving standards of quality.