用Z形式化描述的软件设计模式

作     者：曾红卫 滕中梅 ZENG Hongwei;TENG Zhongmei

作者机构：上海大学计算机学院上海200072 

基　　金：国家自然科学基金资助项目(60373072) 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2006年第32卷第13期

页      码：69-70,108页

摘      要：设计模式和形式化是软件工程领域研究的两个重要方面。该文的目的是对设计模式的形式化进行探讨,其中心是设计模式“结构”的形式化。文章以抽象类、抽象函数为基本对象,分析了设计模式中类和函数间存在的各种基本关系和关系性质,提出了“层次”概念。在此基础上,以设计模式“修饰”为例说明了用Z语言形式化设计模式的方法。

主 题 词：设计模式 形式化 层次 修饰 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.1016/j.ab.2005.12.006

馆 藏 号：203409114...