formal description

Формальний (формалізований) опис