язык спецификаций

Specification language