Formal Use of Design Patterns and Refactoring | |
Quan, Long ; Zongyan, Qiu ; Liu, Zhiming | |
2009 | |
英文摘要 | 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. ? Springer-Verlag Berlin Heidelberg 2008.; EI; 0; 323-338; 17 |
语种 | 英语 |
出处 | EI |
出版者 | communications in computer and information science |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/407640] ![]() |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Quan, Long,Zongyan, Qiu,Liu, Zhiming. Formal Use of Design Patterns and Refactoring. 2009-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论