Toward a Formal Evaluation of Refactorings

Download: PDF, talk slides (presented by John Paul).

“Toward a Formal Evaluation of Refactorings”

by John Paul, Nadya Kuzmina, Ruben Gamboa, James Caldwell.
In Proceedings of the Sixth NASA Langley Formal Methods Workshop (LFM 2008), (Newport News, Virginia, USA),
May, 2008, pp. 33-35.

Summary

In this talk we explore the use of formal tools to extract information from object-oriented programs and to evaluate these claims of improved comprehensibility in terms of any improved verifiability the refactored programs may offer. First we propose how to apply the `types as theories' viewpoint in order to perform a formal comparison of refactored designs with respect to an arbitrary subject, and then we show how we used existing tools to implement this methodology and applied it to a real example.

Download: PDF, talk slides (presented by John Paul).

BibTeX entry:

@proceedings{PaulKGC2008,
 author = "John Paul, Nadya Kuzmina, Ruben Gamboa, James Caldwell",
 title = "Toward a Formal Evaluation of Refactorings", 
 booktitle = "{P}roceedings of the Sixth {NASA} {L}angley Formal Methods Workshop ({LFM 2008})",
 editor = "Kristin Yvonne Rozier",
 number = "NASA/CP-2008-215309",
 month = "May",
 year = "2008",
 note = "http://ntrs.nasa.gov";
}