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