An Approach for Refactoring using ESC/Java2 ---A Simple Case Study ---

Authors:
Hiroshi Ishikawa
Affiliations:
Niigata University of International and Information Studies 3--1--1, Mizukino, Nishi-ku, Niigata 950--2292, Japan
Venue:
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Year:
2009

Citing 6
Cited 0

Predicate calculus and program semantics

Predicate calculus and program semantics
Refactoring: improving the design of existing code

Refactoring: improving the design of existing code
Extended static checking for Java

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Applying "Design by Contract"

Computer
Simplify: a theorem prover for program checking

Journal of the ACM (JACM)
ESC/Java2: uniting ESC/Java and JML

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Quantified Score

Hi-index	0.00

Visualization

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.