График выхода изданий
-
№3 Сентябрь 2025
-
№4 Декабрь 2025
Последние выпуски
- 2025, Том 18 Выпуск 2 Полный текст
- 2025, Том 18 Выпуск 1 Полный текст
- 2024, Том 17 Выпуск 4 Полный текст
- 2024, Том 17 Выпуск 3 Полный текст
Ицыксон Владимир Михайлович
Должность
Институт прикладных компьютерных наук, доцент
Место работы
Университет ИТМО
Ученая степень
кандидат технических наук
Ученое звание
доцент
Публикации
Формализм для описания частичных спецификаций компонентов программного окружения
- Год: 2011
- Выпуск: 4
- 0
- 8105
- Страницы: 81-90
Технология модификации программного кода, основанная на параметризуемых шаблонах
- Год: 2010
- Выпуск: 3
- 2
- 7846
- Страницы: 99-106
Исследование средств построения моделей исходного кода программ на языках C и C++
- Год: 2009
- Выпуск: 1
- 0
- 7796
- Страницы: 123-130
Исследование систем автоматизации обнаружения дефектов в исходном коде программ
- Год: 2008
- Выпуск: 5
- 0
- 7651
- Страницы: 119-127
Автоматическое обнаружение дефектов программных систем на основе метода проверки модели
- Год: 2008
- Выпуск: 5
- 0
- 7391
- Страницы: 127-133
Конференция «Инструменты и методы анализа программ — 2013»
- Год: 2014
- Выпуск: 2
- 1
- 7168
- Страницы: 129-129
Автоматическое формирование исправлений ошибок программного кода на основе анализа программных репозиториев
- Год: 2020
- Том: 13
- Выпуск: 2
- 29
- 6491
- Страницы: 35-48