Quali sono alcuni esempi di pre e postcondizioni nella programmazione informatica?
La precondizione di un’operazione è una condizione che deve essere soddisfatta prima che l’operazione possa essere eseguita. La postcondizione di un’operazione è una condizione che deve essere soddisfatta dopo che l’operazione è stata eseguita. Prendiamo quindi alcune operazioni e deduciamo logicamente le loro pre e postcondizioni. Prelievo di denaro dal conto di debito in ATM. … Leggi tutto