Спецификация език със специални конструкции и, понякога, протоколи за проверка, използвани за разработване, анализират и документират софтуерни или хардуерни изисквания.