Specification, implementation and verification of refactorings

Refactoring is the process of reorganising or restructuring code by means of behaviour-preserving program transformations, themselves called refactorings. Most modern development environments come with built-in support for refactoring in the form of automated refactorings that the user can perform a...

Full description

Bibliographic Details
Main Authors: Schaefer, M, Max Schaefer
Other Authors: de Moor, O
Format: Thesis
Language:English
Published: 2010
Subjects: