abstract specification

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