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