Design patterns has been used very effectively in object-oriented design for a long time. Refactoring is also widely used for producing better maintainable and reusable designs and programs. In this paper, we investigate how design patterns and refactoring rules are used in a formal method by formulating and showing them as refinement laws in the calculus of refinement of component and object-oriented systems, known as rCOS. We also combine refactoring and design patterns to provide some big-step rules of pattern-directed refactoring.
%0 Book Section
%1 quan_09_formal
%A Quan, Long
%A Zongyan, Qiu
%A Liu, Zhiming
%D 2009
%J Leveraging Applications of Formal Methods, Verification and Validation
%K design_patterns 2009 formal refactoring
%P 323--338
%R http://dx.doi.org/10.1007/978-3-540-88479-8_23
%T Formal Use of Design Patterns and Refactoring
%U http://dx.doi.org/10.1007/978-3-540-88479-8_23
%X Design patterns has been used very effectively in object-oriented design for a long time. Refactoring is also widely used for producing better maintainable and reusable designs and programs. In this paper, we investigate how design patterns and refactoring rules are used in a formal method by formulating and showing them as refinement laws in the calculus of refinement of component and object-oriented systems, known as rCOS. We also combine refactoring and design patterns to provide some big-step rules of pattern-directed refactoring.
@incollection{quan_09_formal,
abstract = {Design patterns has been used very effectively in object-oriented design for a long time. Refactoring is also widely used for producing better maintainable and reusable designs and programs. In this paper, we investigate how design patterns and refactoring rules are used in a formal method by formulating and showing them as refinement laws in the calculus of refinement of component and object-oriented systems, known as rCOS. We also combine refactoring and design patterns to provide some big-step rules of pattern-directed refactoring.},
added-at = {2009-02-11T20:10:34.000+0100},
author = {Quan, Long and Zongyan, Qiu and Liu, Zhiming},
biburl = {https://www.bibsonomy.org/bibtex/2b433f47308b87184dbaa7d872ce1c7a8/leonardo},
citeulike-article-id = {3578015},
doi = {http://dx.doi.org/10.1007/978-3-540-88479-8_23},
interhash = {1613b0e9e359030f942d091e875c57cc},
intrahash = {b433f47308b87184dbaa7d872ce1c7a8},
journal = {Leveraging Applications of Formal Methods, Verification and Validation},
keywords = {design_patterns 2009 formal refactoring},
pages = {323--338},
posted-at = {2008-11-19 12:44:32},
priority = {2},
timestamp = {2009-02-11T20:10:34.000+0100},
title = {Formal Use of Design Patterns and Refactoring},
url = {http://dx.doi.org/10.1007/978-3-540-88479-8_23},
year = 2009
}