Dimostrare proprietà dell’astrazione

• è spesso utile poter dimostrare proprietà delle astrazioni

  • anche per quelle procedurali
  • ma più interessante per le astrazioni sui dati

• per dimostrare la proprietà dobbiamo utilizzare le specifiche

• vediamo un esempio

Previous slide

Next slide

Back to first slide

View graphic version