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