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