Spetsifikatsioon keele eriline tarindeid ja mõnikord kontrolli protokolle, välja, analüüsida ja dokumenteerida või riistvara nõuded.