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

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