bn:00612059n
Noun Concept
Categories: Linguaggi di specifica, Teoria dei linguaggi formali
IT
linguaggio di specifica
IT
In informatica, un linguaggio di specifica è un linguaggio formale usato per descrivere un sistema software a un livello di astrazione superiore a quello dei linguaggi di programmazione. Wikipedia
Definitions
Relations
Sources