формальное [формализованное] описание, формальная спецификация (написанная в соответствии с какими-л. стандартами)
FORMAL SPECIFICATION
Англо-русский перевод FORMAL SPECIFICATION
Big English-Russian dictionary . Большой Англо-Русский словарь. 2012