Toward a Formal Evaluation of RefactoringsRefactoring is a software development strategy that characteristically alters the syntactic structure of a program without changing its external behavior [2]. In this talk we present a methodology for extracting formal models from programs in order to evaluate how incremental refactorings affect the verifiability of their structural specifications. We envision that this same technique may be applicable to other types of properties such as those that concern the design and maintenance of safety-critical systems.
Document ID
20080022222
Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Paul, John (Wyoming Univ. Laramie, WY, United States)
Kuzmina, Nadya (Wyoming Univ. Laramie, WY, United States)
Gamboa, Ruben (Wyoming Univ. Laramie, WY, United States)
Caldwell, James (Wyoming Univ. Laramie, WY, United States)
Date Acquired
August 24, 2013
Publication Date
April 30, 2008
Publication Information
Publication: Proceedings of the Sixth NASA Langley Formal Methods Workshop