- Название: Workshop on the Analysis of Model Transformations
- Перевод: Рабочая встреча по анализу преобразований моделей
- Статус: рабочая встреча
- Тестирование и создание тестов для преобразований моделей
- Формальная спецификация и верификация преобразований моделей
- Абстрактная интерпретация преобразований моделей
- Статический и динамический анализ преобразований моделей
- Метрики для преобразований моделей
- Оценка последствий преобразований моделей
- Сертификация и накопительная ревалидация преобразований моделей
- Инструменты анализа преобразований моделей
- Преобразования преобразований моделей (преобразования высших порядков)
- Примеры применения анализа преобразований моделей
- AMT 2012 (Австрия, Иннсбрук)
- …