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