Способ автоматизации процесса рефакторинга
Ключевые слова:
рефакторинг, формализация ПО, корректность ПО, Java, семантика.Аннотация
Представлен способ автоматизации рефакторинга кода программы на языке Java при помощи языка спецификаций Maude, позволяющий проводить автоматическое доказательство корректности преобразованного рефакторингом кода, основываясь на семантике Java; создавать пользовательские рефакторинги на базе уже имеющихся.
Опубликован
19-06-2009
Как цитировать
Кузин, В. А., & Бураков, В. В. (2009). Способ автоматизации процесса рефакторинга. Информационно-управляющие системы, (3), 40-44. извлечено от https://i-us.ru/index.php/ius/article/view/14847
Выпуск
Раздел
Программные и аппаратные средства
