язык описания требований

Specification (description) language