Язык спецификации: основные понятия и термины

Язык спецификации - рационально оформленный и синтаксически организованный набор средств спецификации программных систем.