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