Ett specifikationsspråk med speciella konstruktioner och, ibland, kontroll protokoll, används för att utveckla, analysera och dokumentera krav på maskinvara eller programvara.