An approach to refactoring process automation
Keywords:
Refactoring, Software Formalization, Software Correctness, Java, SemanticsAbstract
This paper describes an approach that uses the specification Maude language to automate a Java program refactoring. This approach enables one to make a Java semantics-based correctness proving of refactored source code, to make the proving automatically, and to create user-defined refactorings from existing ones.
Published
2009-06-19
How to Cite
Kuzin, V., & Burakov, V. (2009). An approach to refactoring process automation. Information and Control Systems, (3), 40-44. Retrieved from http://ia.spcras.ru/index.php/ius/article/view/14847
Issue
Section
Hardware and software resources