%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 }