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

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