Definizione di Specifica formale (software)

Specifica basata su una proposizione logica sulla funzionalità attesa per un programma. Le specifiche formali possono essere utilizzate in un approccio per produrre un programma per passi successivi, con il vantaggio che ognuno di questi passi può essere provato e quindi si può dimostrare che il programma finale soddisfa la specifica iniziale. Comunque l'approccio richiede una notevole competenza nella manipolazione e prova delle specifiche.

di Simone Laico