Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций
Ключевые слова:
библиотека, частичная спецификация, семантика программы, реинжиниринг программ, портированиеАннотация
Рассматривается подход к реинжинирингу программ, основанный на использовании частичных спецификаций библиотек. Описываются семантические примитивы для задания спецификаций библиотек, рассматриваются способы задания спецификации видимого поведения библиотек. Процесс реинжиниринга программы автоматизируется с помощью алгоритма, который проверяет совместимость двух библиотек, анализирует семантику исходной и целевой библиотек и производит преобразование программы путем выражения интерфейса старой библиотеки в терминах новой.
Опубликован
20-04-2012
Как цитировать
Ицыксон, В. М. (2012). Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций. Информационно-управляющие системы, (2), 31–38. извлечено от https://i-us.ru/index.php/ius/article/view/13790
Выпуск
Раздел
Программные и аппаратные средства
