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