«abstract specification»

abstract specification в энциклопедиях

Источники

абстрактная спецификация (описание на языке, не зависящем от конкретной реализации)