График выхода изданий
- №3 Сентябрь 2026Статьи принимаются до: 31 Июля 2026
- №4 Декабрь 2026
- №1 Март 2027
- №2 Июнь 2027
Статьи по ключевому слову "частичные спецификации"
Верификация программного обеспечения при интеграции новой функциональности в существующую систему
- Год: 2008
- Выпуск: 5
- 0
- 9204
- Страницы: 20-26
Формализм для описания частичных спецификаций компонентов программного окружения
- Год: 2011
- Выпуск: 4
- 0
- 9767
- Страницы: 81-90