Язык спецификаций (specification language) — язык прикладного характера, который, часто являясь ориентированным на компьютеры синтезом естественного языка и искусственного языка, используются для выражения требований к системе или компоненте, для описания их конструкции, а иногда и протоколы проверки, для проектирования, исследования и документирования указанных характеристик.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]