График выхода изданий
-
№3 Сентябрь 2025
-
№4 Декабрь 2025
Статьи по ключевому слову "семантика"
Критерии покрытия требований в тестовых сценариях, сгенерированных из поведенческих моделей приложений
- Год: 2011
- Выпуск: 6
- 0
- 7076
- Страницы: 202-207
Определение проблемно-ориентированных языков интерпретируемыми автоматами
- Год: 2008
- Выпуск: 5
- 0
- 7236
- Страницы: 93-98
Формализм для описания частичных спецификаций компонентов программного окружения
- Год: 2011
- Выпуск: 4
- 0
- 7958
- Страницы: 81-90
О корректности компиляции подмножествa обещающей модели памяти в аксиоматическую модель ARMv8.3
- Год: 2017
- Том: 10
- Выпуск: 4
- 36
- 7490
- Страницы: 51-69