График выхода изданий
-
№4 Декабрь 2025
-
№1 Март 2026Статьи принимаются до: 27 Февраля 2026
-
№2 Июнь 2026Статьи принимаются до: 29 Мая 2026
-
№3 Сентябрь 2026Статьи принимаются до: 31 Августа 2026
Статьи по ключевому слову "семантика"
Критерии покрытия требований в тестовых сценариях, сгенерированных из поведенческих моделей приложений
- Год: 2011
- Выпуск: 6
- 0
- 7252
- Страницы: 202-207
Определение проблемно-ориентированных языков интерпретируемыми автоматами
- Год: 2008
- Выпуск: 5
- 0
- 7518
- Страницы: 93-98
Формализм для описания частичных спецификаций компонентов программного окружения
- Год: 2011
- Выпуск: 4
- 0
- 8277
- Страницы: 81-90
О корректности компиляции подмножествa обещающей модели памяти в аксиоматическую модель ARMv8.3
- Год: 2017
- Том: 10
- Выпуск: 4
- 36
- 7747
- Страницы: 51-69