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