CORC  > 北京大学  > 数学科学学院
Commutability of design pattern instantiation and integration
Jing, Dong ; Tu, Peng ; Zongyan, Qiu
2007
英文摘要Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other patterns as well. The instantiation and integration operations are two important operations when a designer uses a design pattern in a particular application. In this paper, we investigate the commutability of these two operations based on our formal specification framework. We provide rigorous proofs on the conditions when the order of these two operations does not matter. Our results enable the software designers to choose their design processes with assurance of their equivalence. ? 2007 IEEE.; EI; 0
语种英语
出处EI
内容类型其他
源URL[http://hdl.handle.net/20.500.11897/263616]  
专题数学科学学院
推荐引用方式
GB/T 7714
Jing, Dong,Tu, Peng,Zongyan, Qiu. Commutability of design pattern instantiation and integration. 2007-01-01.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

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


©版权所有 ©2017 CSpace - Powered by CSpace