linguaggio di specifica

In informatica, un linguaggio di specifica è un linguaggio formale (o parzialmente tale) usato per descrivere un sistema software a un livello di astrazione superiore a quello dei linguaggi di programmazione. L'applicazione di un linguaggio di specifica quindi produce delle . A seconda dei casi, un linguaggio di specifica può essere orientato all'analisi (nel qual caso lo si può impiegare per stendere in modo formale la specifica dei requisiti del sistema) o alla progettazione (nel qual caso si otterrebbero specifiche di progetto). Un linguaggio di specifica può, a seconda dei casi, essere anche un linguaggio di modellazione. In questo caso, la descrizione del sistema può in qualche modo essere considerata un , cioè una rappresentazione semplificata del sistema stesso, che ne riproduce i tratti essenziali.