QQ客服 官方微博 反馈留言

	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.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。