Автоматизация процессов прямой и обратной инженерии на основе использования формальных спецификацийотчет