Astrazione (informatica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →Astrazione nella programmazione orientata agli oggetti (OOP): iniziale maiuscola per nome classe |
m Corretto collegamento alla voce "Model checking" |
||
Riga 148:
Le astrazioni possono dimostrarsi utili quando si lavora con i programmi, poiché particolari proprietà di questi sono essenzialmente indecidibili. Come conseguenza, i metodi automatici per ottenere informazioni sul comportamento dei programmi possono terminare improvvisamente (senza dare un risultato o andando semplicemente in crash) o potrebbero dare false informazioni.
L'astrazione è il concetto principale dell'[[interpretazione astratta]]. Il [[Model
== Livelli di astrazione ==
| |||