基于Z的适配器模式形式化描述  

作　　者：李忠慧[1] 

机构地区：[1]重庆师范大学数学与计算机学院,重庆400047

出　　处：《福建电脑》2008年第7期80-80,100,共2页Journal of Fujian Computer

摘　　要：设计模式和形式化是软件工程领域研究的两个重要方面。本文首先介绍了设计模式和形式化方法等基本知识,其次介绍了设计模式中类和函数间存在的各种基本关系和层次概念,最后利用Z语言形式化描述适配器模式。

关 键 词：设计模式 形式化 适配器模式 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] TN914.53[自动化与计算机技术—计算机科学与技术]