Evolving object-oriented designs with refactorings

Evolving Object-Oriented Designs with Refactorings

Automated Software Engineering

Refactoring use case models: the metamodel

ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16

Refactoring Use Case Models on Episodes

Proceedings of the 19th IEEE international conference on Automated software engineering

Static composition of refactorings

Science of Computer Programming - Special issue on program transformation

Automatic verification of design patterns in Java

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering

Refactoring a legacy component for reuse in a software product line: a case study: Practice Articles

Journal of Software Maintenance and Evolution: Research and Practice - IEEE International Conference on Software Maintenance (ICSM2005)

rCOS: a refinement calculus of object systems

Theoretical Computer Science - Components and objects

Using CafeOBJ to Mechanise Refactoring Proofs and Application

Electronic Notes in Theoretical Computer Science (ENTCS)

Integrating Theories and Techniques for Program Modelling, Design and Verification

Verified Software: Theories, Tools, Experiments

Refactoring Towards a Layered Architecture

Electronic Notes in Theoretical Computer Science (ENTCS)