Ицыксон Владимир Михайлович
-
Место работыУниверситет ИТМО
-
Ученая степенькандидат технических наук
-
Ученое званиедоцент
-
Публикации
График выхода журналов
-
№4 Декабрь 2023
Последние выпуски
- 2023, Том 16 Выпуск 2 Полный текст
- 2023, Том 16 Выпуск 1 Полный текст
- 2022, Том 15 Выпуск 4 Полный текст
- 2022, Том 15 Выпуск 3 Полный текст
Формализм для описания частичных спецификаций компонентов программного окружения
- Год: 2011
- Выпуск: 4
- 0
- 5268
- Страницы: 81-90
Технология модификации программного кода, основанная на параметризуемых шаблонах
- Год: 2010
- Выпуск: 3
- 2
- 4958
- Страницы: 99-106
Исследование средств построения моделей исходного кода программ на языках C и C++
- Год: 2009
- Выпуск: 1
- 0
- 4861
- Страницы: 123-130
Исследование систем автоматизации обнаружения дефектов в исходном коде программ
- Год: 2008
- Выпуск: 5
- 0
- 4717
- Страницы: 119-127
Автоматическое обнаружение дефектов программных систем на основе метода проверки модели
- Год: 2008
- Выпуск: 5
- 0
- 4623
- Страницы: 127-133
Конференция «Инструменты и методы анализа программ – 2013»
- Год: 2014
- Выпуск: 2
- 0
- 4542
- Страницы: 129-129
Автоматическое формирование исправлений ошибок программного кода на основе анализа программных репозиториев
- Год: 2020
- Том: 13
- Выпуск: 2
- 25
- 3588
- Страницы: 35-48