Научный журнал ISSN 1684-8853 English
Информационно-управляющие системы
Рецензируемое издание

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

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

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

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

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

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

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