Найти
Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление
Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
Русский
Английский
Версия для слабовидящих
О журнале
Редакционная коллегия
Архив выпусков
Авторам
Меню
Содержание и структура статьи
Оформление статьи
Подача и рассмотрение статьи
Рецензирование
Список литературы
Аннотация к статье
Лицензионное соглашение
Этика научных публикаций
Новости
Вопрос-ответ
Контакты
Автор
Ицыксон Владимир Михайлович
Подать статью
График выхода журналов
№4 Декабрь 2023
Последние выпуски
2023
,
Том 16
Выпуск 2
Полный текст
2023
,
Том 16
Выпуск 1
Полный текст
2022
,
Том 15
Выпуск 4
Полный текст
2022
,
Том 15
Выпуск 3
Полный текст
Ицыксон Владимир Михайлович
Место работы
Университет ИТМО
Ученая степень
кандидат технических наук
Ученое звание
доцент
Публикации
Scopus ID
ELIBRARY ID
Researcher ID
Orcid ID
Формализм для описания частичных спецификаций компонентов программного окружения
Вычислительные машины и программное обеспечение
Ицыксон В.М.
Зозуля А.В.
Год: 2011
Выпуск: 4
0
5268
Страницы: 81-90
Язык спецификаций поведения программных компонентов
Вычислительные машины и программное обеспечение
Ицыксон В.М.
Глухих М.И.
Год: 2010
Выпуск: 3
0
5352
Страницы: 63-70
Технология модификации программного кода, основанная на параметризуемых шаблонах
Вычислительные машины и программное обеспечение
Ицыксон В.М.
Тимофеев Д.А.
Год: 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»
Конференция «Инструменты и методы анализа программ – 2013»
Ицыксон В.М.
Год: 2014
Выпуск: 2
0
4542
Страницы: 129-129
Автоматическое формирование исправлений ошибок программного кода на основе анализа программных репозиториев
Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Бельский А.
Ицыксон В.М.
Год: 2020
Том: 13
Выпуск: 2
25
3588
Страницы: 35-48