Specifikacijos kalba su specialios konstruoja ir, kartais, patikrinimo protokolai, naudojami kurti, analizuoti, ir dokumento aparatūros arba programinės įrangos reikalavimus.