Quali sono i vari modi in cui un software può "essere bello"?

- Usabilità: se i suoi utenti lo ritengono facile da utilizzare. generalmente viene verificato con dei test a campione. - Prestazioni ed Efficienza: -- L'efficienza è una qualità interna e misura come il software utilizza le risorse del computer; -- la performance è una qualità esterna basata sui requisiti dell'utente, ha effetto sull'usabilità e viene verificata alla fine del processo. - Verificabilità: se le proprietà correttezza e performance sono verificabili facilmente. La verifica può essere fatta con metodi formali o informali ed è considerata una qualità interna, ma alcune volte può diventare una qualità esterna: per esempio, in ambiti in cui la sicurezza è critica il cliente può chiedere la verificabilità di certe proprietà.