формальное [ формализованное ] описание, формальная спецификация ( написанная в соответствии с какими-л. стандартами )
FORMAL SPECIFICATION
Англо-русский перевод FORMAL SPECIFICATION
Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012