Reificazione (informatica)
Da Wikipedia, l'enciclopedia libera.
Nel contesto della programmazione orientata agli oggetti si definisce reificazione il procedimento di creazione di un modello di dati basato su un concetto astratto predefinito. Mediante la reificazione, un computer può compiere elaborazioni riguardanti un'entità astratta come se si trattasse di un insieme qualsiasi di dati di altro tipo.
Le reificazione è una tecnica particolarmente utile poiché consente di incapsulare un comportamento astratto, rendendone più agevole la comprensione ed il test della correttezza del programma che lo implementa.
Lo stesso termine viene a volte usato anche nel contesto della teoria dei metodi formali (il cosiddetto refinement)
