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