Specification‚ Implementation and Verification of Refactorings

Specification‚ Implementation and Verification of Refactorings

Bibliographic Details
Main Author:	Schäfer, M
Format:	Thesis
Published:	Oxford University Computing Laboratory 2010

Similar Items

Specification, implementation and verification of refactorings
by: Schaefer, M, et al.
Published: (2010)

Specifying and Implementing Refactorings
by: Schäfer, M, et al.
Published: (2010)

The implementation of refactoring : an experience report /
by: Amir Shazlan Mohd. Shah, et al.
Published: (2004)

The implementation of refactoring: an experience report
by: Mohd. Shah, Amir Shazlan
Published: (2004)

Stepping Stones over the Refactoring Rubicon – Lightweight Language Extensions to Easily Realise Refactorings
by: Schäfer, M, et al.
Published: (2009)

Stepping Stones over the Refactoring Rubicon.
by: Schäfer, M, et al.
Published: (2009)

Refactoring Java Programs for Flexible Locking
by: Schäfer, M, et al.
Published: (2011)

Correct Refactoring of Concurrent Java Code
by: Schäfer, M, et al.
Published: (2010)

The implementation of refactoring: an experience report [electronic resource] /
by: 242595 Amir Shazlan Mohd. Shah
Published: (2004)

Refactoring to patterns /
by: 219387 Kerievsky, Joshua
Published: (2005)

Semantic refactorings
by: Kesseli, P
Published: (2017)

Refactoring pattern matching
by: Wang, M, et al.
Published: (2013)

Refactoring Pattern Matching
by: Wang, M, et al.
Published: (2012)

Refactoring on the whole project
by: S. V. Syromyatnikov, et al.
Published: (2018-10-01)

An Empirical Evaluation of Refactoring
by: Kowalewski Stefan, et al.
Published: (2007-01-01)

Stepping Stones over the Refactoring Rubicon Lightweight Language Extensions to Easily Realise Refactorings
by: Schaefer, M, et al.
Published: (2009)

Refactoring Tutor: An IDE Integrated Tool for Practicing Key Techniques to Refactor Code
by: Leyva, Mario
Published: (2023)

Refactoring for parameterizing Java classes
by: Kiezun, Adam, et al.
Published: (2006)

Professional refactoring in visual basic /
by: 465451 Arsenovski, Danijel
Published: (2008)

Antipatterns : identification, refactoring and management /
by: Laplante, Phillip A. 224255, et al.
Published: (2006)

Automatic refactoring of Fortran applications
by: Chandrasehar Rajaseharan.
Published: (2012)

Green software: Refactoring approach
by: Rajni Sehgal, et al.
Published: (2022-07-01)

Fortran Refactorings for Legacy Systems
by: Mariano Méndez
Published: (2011-10-01)

Catalog of grammar refactoring patterns
by: Halupka Ivan, et al.
Published: (2014-12-01)

Knowledge refactoring for inductive program synthesis
by: Dumancic, S, et al.
Published: (2021)

Refactoring databases : evolutionary database design /
by: Ambler, Scott W., 1966-, et al.
Published: (c200)

Simulation, Models, and Refactoring of Bacteriophage T7
by: Kosuri, Sriram
Published: (2007)

Refactoring Bacteriophage T7 (2004 version)
by: Chan, Leon, et al.
Published: (2005)

Code refactoring: a Python example
by: Ewa Figielska
Published: (2022-12-01)

An automated refactoring approach for asynchronous mechanism
by: Minghan JI, et al.
Published: (2021-10-01)

A toolkit for constructing refactoring engines
by: Jeffrey Overbey
Published: (2012-10-01)

A model transformation approach to perform refactoring on software architecture using refactoring patterns based on stakeholder requirements
by: Mohammad Tanhaei
Published: (2020-09-01)

Empirical analysis of software refactoring motivation and effects
by: Gilliland, Sean M. (Sean Michael)
Published: (2015)

Educational approach of refactoring in facilitating reverse engineering
by: Omar, Mazni, et al.
Published: (2010)

Educational approach of refactoring in facilitating reverse engineering
by: Omar, Mazni, et al.
Published: (2010)

A Comparative Study of Automated Refactoring Tools
by: Maha Alharbi, et al.
Published: (2024-01-01)

Visualizing software refactoring using radar charts
by: Abdel-Rahman Al-Ghuwairi, et al.
Published: (2023-11-01)

Component-Based Java Legacy Code Refactoring
by: Hugo Arboleda, et al.
Published: (2013-10-01)

Component-Based Java Legacy Code Refactoring
by: Hugo Arboleda, et al.
Published: (2013-01-01)

Software Code Refactoring: A Comprehensive Review
by: hiba Al-shakarjy, et al.
Published: (2023-03-01)