Формализованное представление требований, предъявляемых к программе, которые должны быть удовлетворены при ее разработке, а также описание задачи, условия и эффекта действия без указания способа ее достижения [из 49 табл. 1 ГОСТ 19781-90]