Язык спецификации

Короткий ответ

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