Научный журнал ISSN 1684-8853 (печ.), ISSN 2541-8610 (эл.), doi:10.15217/issn1684-8853 English
Информационно-управляющие системы
Рецензируемое издание

Ицыксон Владимир Михайлович

Ицыксон Владимир Михайлович

Доцент, заведующий кафедрой компьютерных систем и программных технологий Санкт-Петербургского государственного политехнического университета Петра Великого.

В 1996 году окончил Санкт-Петербургский государственный технический университет по специальности «Вычислительные машины, комплексы, системы, сети». В 2000 году защитил диссертацию на соискание ученой степени кандидата технических наук. Является автором более 100 научных публикаций. Область научных интересов - программная инженерия, методы разработки качественного программного обеспечения, статический анализ и верификация программ.

Статьи автора:

  1. Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
    И. С. Егорова , В. М. Ицыксон
    Журнал: 2(93)/2018 (Программные и аппаратные средства)

  2. Обзор статических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
    И. С. Егорова , В. М. Ицыксон
    Журнал: 6(91)/2017 (Программные и аппаратные средства)

  3. Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций
    В. М. Ицыксон
    Журнал: 2(57)/2012 (Программные и аппаратные средства)

  4. Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ
    В. М. Ицыксон , М. Ю. Моисеев , В. А. Цесько , А. В. Захаров , М. Х. Ахин
    Журнал: 2(39)/2009 (Программные и аппаратные средства)

  5. Формализм для описания программных систем и вычислительных процессов циклической параллельной обработки данных реального времени
    И. В. Стручков , В. М. Ицыксон
    Журнал: 2(21)/2006 (Программные и аппаратные средства)