аксиоматическая спецификация; аксиоматическое определение; аксиоматическое описание (описание, содержащее неявные представления описываемых объектов)
AXIOMATIC SPECIFICATION
Англо-русский перевод AXIOMATIC SPECIFICATION
New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011