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