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