Научный журнал ISSN 1684-8853 (печ.), ISSN 2541-8610 (эл.), doi:10.15217/issn1684-8853 English
Информационно-управляющие системы
Рецензируемое издание

Способ автоматизации процесса рефакторинга

Авторы: В. А. Кузин , В. В. Бураков

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

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

УДК: 519.681.2
Журнал: 3(40)/2009
Рубрика: Программные и аппаратные средства