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