基于Z的适配器模式形式化描述
摘要
设计模式和形式化是软件工程领域研究的两个重要方面。本文首先介绍了设计模式和形式化方法等基本知识,其次介绍了设计模式中类和函数间存在的各种基本关系和层次概念,最后利用Z语言形式化描述适配器模式。
出处
《福建电脑》
2008年第7期80-80,100,共2页
Journal of Fujian Computer
参考文献5
-
1曾红卫,滕中梅.用Z形式化描述的软件设计模式[J].计算机工程,2006,32(13):69-70. 被引量：3
-
2肖汉编著..软件工程理论与实践[M].北京:科学出版社,2006:278.
-
3古天龙著..软件开发的形式化方法[M].北京:高等教育出版社,2005:265.
-
4(英)KenLunn著,马蔷,杨南海等.UML软件开发[M]电子工业出版社,2005. 被引量：1
-
5刘真..软件体系结构[M],2004.
二级参考文献6
-
1Gamma E,Helm R,Johnson R,et al.Design Patterns:Elements of Reusable Object Oriented Software[M].Addison-Wesley,1995. 被引量：1
-
2Buschmann F,Meunier R,Rohnert H,et al.Pattern-oriented Software Architecture -A System of Patterns[M].Wiley and Sons,1996. 被引量：1
-
3Budinsky F J,Finnie M A,Vlissides J M,et al.Automatic Code Generation from Design Patterns[J].Object Technology,1996,35(2). 被引量：1
-
4Eden A H,Hirshfeld Y,Yehudai A.LePUS:A Declarative Pattern Specification Language[EB/OL].http://www,math.tau.ac.il/～eden/ bibliography.html#1epus. 被引量：1
-
5Miao H,Liu L,Li L.Formalizing UML Models with Object-Z[C].ICFEM '02,LNCS 2495.Berlin Heidelberg:Springer-Verlag,2002:523-534. 被引量：1
-
6Heisel M,Santen T,Souquieres J.Toward a Formal Model of Software Components[C].ICFEM'02,LNCS 2495.Berlin,Heidelberg:Springer-Verlag,2002:57-68. 被引量：1
-
1段立娟,高文,马继勇.Rich GetRicher——图像检索中的一种自适应的相关反馈方法[J].计算机研究与发展,2001,38(8):960-965. 被引量：3
-
2王小林,陆骆勇,邰伟鹏.基于信息熵的新的词语相似度算法研究[J].计算机技术与发展,2015,25(9):119-122. 被引量：3
-
3许方芳,郑诚,戈明东.语义网中的本体映射研究[J].计算机与现代化,2008(2):36-39. 被引量：2
-
4罗成,柏彦奇.基于复杂系统层次的分辨率识别[J].科学技术与工程,2006,6(6):771-774. 被引量：1
-
5韩柯,李德毅.数据库中弱数据模式的发现[J].计算机研究与发展,1997,34(S1):317-321.
-
6李敏强,寇纪淞.基于数据库的层次概念知识体系的一种获取方法[J].控制与决策,1999,14(A11):541-544. 被引量：3
-
7姚栋义.基于事件和信息的应用系统的开发方法学[J].青岛大学学报（自然科学版）,1996,9(1):47-54. 被引量：1
-
8曾红卫,滕中梅.用Z形式化描述的软件设计模式[J].计算机工程,2006,32(13):69-70. 被引量：3
-
9汪辉.商务智能和数据仓库应用中的数据层次研究(英文)[J].衡阳师范学院学报,2014,35(6):57-60.
-
10张彦,张永奎,安增波,王鹏.基于层次概念的用户兴趣模型研究[J].计算机工程与设计,2008,29(1):181-183. 被引量：6
