Tipus de llenguatge de programació que especifica les operacions i característiques dels programes i de les dades que intervenen en l’execució d’una feina.
Exemples d’especificacions són: temps d’execució, quantitat de dades d’entrada o sortida, nom de l’usuari, prioritat que cal donar a la feina, etc.