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

Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций

Автор: В. М. Ицыксон

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

Ключевые слова — библиотека, частичная спецификация, семантика программы, реинжиниринг программ, портирование

УДК: 004.416.3;004.4'242
Журнал: 2(57)/2012
Рубрика: Программные и аппаратные средства