Search
 
loader loading subjects...
cover
An Approach for Refactoring using ESC/Java2 — A Simple Case Study —
Hiroshi Ishikawa
61 - 72
10.3233/978-1-60750-049-0-61
Frontiers in Artificial Intelligence and Applications
Volume 199: New Trends in Software Methodologies, Tools and Techniques
Abstract

Refactoring is a structural transformation technique for program code, which preserves their functional or behavioral aspects. Check whether the transformed program codes preserve such properties or not is a significant process. It carried out to support quality assurance. This paper introduces an alternative approach for the checking process via program verification. In this approach, ESC/Java2 tool is used for refactoring program codes in Java.

$35.00 / €27.50 / £22.00
Add PDF to cart