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