Проверка UML-моделей с помощью генерации текстовых спецификацийтезисы доклада