Quali sono le varie qualità che un software deve avere per "funzionare"?

- Correttezza: Un software è corretto se soddisfa la specifica dei suoi requisiti funzionali. proprietà generalmente dimostrabile in modo formale. - Affidabilità: Un software è affidabile quando ci si può aspettare che faccia ciò che gli è stato chiesto. l'affidabilità è relativa: un software può essere affidabile anche quando contiene qualche errore. - Robustezza: Un software è robusto se si comporta in modo accettabile anche in circostanze non previste nella specifica dei requisiti.