axiomatic specification

Программирование

аксиоматическое описание

Описание, содержащее неявные представления описываемых объектов.