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