Questa categoria raccoglie le voci che trattano l'argomento: linguaggio di specifica.