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...

Celý popis

Podrobná bibliografie
Hlavní autoři: Schaefer, M, Max Schaefer
Další autoři: de Moor, O
Médium: Diplomová práce
Jazyk:English
Vydáno: 2010
Témata: