Что такое формальное описание и как его правильно составить