Большой англо-русский и русско-английский словарь
аксиоматическая спецификация;
аксиоматическое определение;
аксиоматическое описание (описание, содержащее неявные представления описываемых объектов)
«axiomatic specification»
axiomatic specification в энциклопедиях