Применение шаблонов требований для формальной спецификации и верификации автомат Шаблон введения для проекта 10 класс