论文部分内容阅读
设计模式和形式化是软件工程领域研究的两个重要方面。本文首先介绍了设计模式和形式化方法等基本知识，其次介绍了设计模式中类和函数间存在的各种基本关系和层次概念，最后利用Z语言形式化描述适配器模式。
基于Z的适配器模式形式化描述
【摘 要】
：
设计模式和形式化是软件工程领域研究的两个重要方面。本文首先介绍了设计模式和形式化方法等基本知识，其次介绍了设计模式中类和函数间存在的各种基本关系和层次概念，最后利用
【机 构】
：
重庆师范大学数学与计算机学院
【出 处】
：
福建电脑
【发表日期】
：
2008年7期
其他文献
11月下旬，德国大陆集团邀请中国汽车生产商到厦门参加试乘试驾活动，体验大陆集团的技术优势。以“绿色动能，安全智行”为主题的综合技术研讨会和试乘试驾活动为汽车生产商和大陆
一汽-大众为期三个月的首届经销商钣喷技能竞赛日前公布结果。让阿克苏诺贝尔骄傲的是，最后20家晋级决赛的选手里，近一半是新劲品牌的客户。
【正】 一、出版社加强图书宜传的重要性图书宣传是出版工作的延续。过去,一谈出版工作,就是编、印、发“一条龙”。其实不然,“出版社出了书,只算完成了任务的一半”,还有“
随着IPv6协议的广泛应用，传统的IPv4路由表查找算法不再适应IPv6网络环境中路由转发的需要。因而提出一种IPv6路由查找算法，利用Bloom滤波器来实现并行的最长前缀匹配，缩小查找
利用声卡和LabVIEW多线程技术,设计了一种廉价实用的数字示波器,具有实现简单、界面友好、性能稳定可靠等优点。在LabView 8.5中实现了数据采集、滤波器、频谱分析、数据保存和重放等功能。可以推广到语音识别、环境噪声监测和实验室测量等多种领域,应用前景广阔。
本文介绍了一种基于Web的CAD四层结构：以Active X控件实现的二维矢量图形系统．基于Ajax技术的客户服务器通信机制以及使用传统技术的Web服务器和数据服务，数据服务系统将保存各
斯堪尼亚乙醇巴士将成为圣保罗公共交通系统的重要组成部分。第一批50辆斯堪尼亚乙醇巴士将于2011年5月交付使用。“使用乙醇作为车用燃料是实现可持续发展的最佳实践方案之