Большой англо-русский и русско-английский словарь
формальное [формализованное] описание, формальная спецификация (написанная в соответствии с какими-л. стандартами)
Англо-русский словарь технических терминов
вчт.
1)формальная спецификация
2)формальное описание