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