График выхода изданий
-
№4 Декабрь 2025
-
№1 Март 2026Статьи принимаются до: 27 Февраля 2026
-
№2 Июнь 2026Статьи принимаются до: 29 Мая 2026
-
№3 Сентябрь 2026Статьи принимаются до: 31 Августа 2026
Статьи по ключевому слову "автоматическая формализация"
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
- Год: 2010
- Выпуск: 4
- 1
- 7342
- Страницы: 191-195
Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям
- Год: 2011
- Выпуск: 3
- 0
- 7335
- Страницы: 180-184