Автоматизация реинжиниринга программных систем

Направление автоматизации реинжиниринга программных систем, развиваемое в лаборатории, связано с решением ряда научно-технических задач исследования программного кода, автоматической или автоматизированной его модификации. Область применения - развитие интегрированных сред проектирования ПО с целью сокращения времени разработки и повышения качества программ.

Научно-исследовательские работы

• Исследование и разработка технологии извлечения, редактирования и поиска шаблонов в исходном коде. 2009
• Автоматизированный реинжиниринг программного обеспечения на основе частичных спецификаций компонентов для переноса приложений в новое программное окружение. 2009-2011
• Исследование и разработка технологии автоматизированной модификации программного кода. 2009-2010

Конференции

• Разработка ПО-2011 (CEE-SECR-2011)
• Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011)
• Разработка ПО-2010 (CEE-SECR-2010)
• Технологии Microsoft в теории и практике программирования 2010

Публикации

• Ицыксон В.М. Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций. Информационно-управляющие системы. №2, 2012. - СПб:РИЦ ГУАП, сс. 31-38
• Itsykson V., Zozulya A. Automated program transformation for migration to new libraries / Software Engineering Conference in Russia (CEE-SECR), 2011 7th Central and Eastern European
• Ицыксон В.М., Зозуля А.В. Формализм для описания частичных спецификаций компонентов программного окружения. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №4, 2011. - СПб: Изд-во С. Петерб. ун-та. - 2011. - сс. 81-90.
• V. Itsykson, A. Zozulya, M. Glukhikh. Automated Program Reengineering When Porting Software to a New Environment Described by Partial Specifications. 6th International Computer Science Symposium in Russia. The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications. Yaroslavl, 2011. pp. 111-119.
• Itsykson V., Timofeev D. Source code modification technology based on parameterized code patterns / Software Engineering Conference in Russia (CEE-SECR), 2010 6th Central and Eastern European
• Ицыксон В.М., Тимофеев Д.А. Технология модификации программного кода, основанная на параметризируемых шаблонах. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №3, 2010. сс. 99-107. СПб: СПбГПУ
• Ицыксон В.М., Глухих М.И. Язык спецификаций поведения программных компонентов. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №3, 2010. сс. 63-71. СПб: СПбГПУ
• Ицыксон В.М., Тимофеев Д.А. Технология модификации программного кода, основанная на параметризируемых шаблонах. Технологии Microsoft в теории и практике программирования: материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада. – СПб.: Изд-во Политехн. ун-та, 2010. – 194 с.