абстрактная спецификация ( описание на языке, не зависящем от конкретной реализации )
ABSTRACT SPECIFICATION
Англо-русский перевод ABSTRACT SPECIFICATION
Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012