News
Архитектурно-управляемая модернизация существующего программного обеспечения.
Abstract
Отдел CASE-технологий института системного программирования (ИСП) занимается разработкой CASE-инструментов следующего поколения, основанных на формальных методах. Разрабатываемые инструменты и методы ориентированы на практическое усовершенствование процесса создания и поддержки программного обеспечения (ПО) в индустрии разработки систем реального времени и встроенных систем. В частности мы определяем ускоренную методологию спецификации, проектирования, тестирования и обратной инженерии ПО. Методология основана на широком применении формальных методов и формальных языков описания программ на самых ранних стадиях разработки, а также на автоматическом извлечении формальных моделей при помощи обратной инженерии из существующего кода. Основные направления в исследовательской работе отдела – восстановление и перестроение (рефакторинг) архитектуры ПО.
Эта статья посвящена созданию методов так называемой архитектурно-управляемой модернизации существующего кода в Object Management Group (OMG), совместно с нашим партнером – компанией klocwork.
Edition
Proceedings of the Institute for System Programming, vol. 5 (in Russian), 2004, Стр. 227-248.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
For citation
Full text of the paper in pdf (in Russian)
