论文部分内容阅读
体系结构形式化描述能为系统设计提供精确和抽象的模型,通过这个模型来分析体系结构的构成,分解和约束特征.利用形式化方法来描述软件体系结构中常见的管道过滤器风格.
形式化方法描述管道过滤器软件体系结构
【摘 要】
：
体系结构形式化描述能为系统设计提供精确和抽象的模型,通过这个模型来分析体系结构的构成,分解和约束特征.利用形式化方法来描述软件体系结构中常见的管道过滤器风格.
【机 构】
：
广州康大职业技术学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2007年14期
其他文献
面对琳琅满目的英语教学法和教学模式,笔者认为英语教学应结合实际的教学情况,尊重语言的自然属性,不可盲目跟随潮流,套用某种教学法或教学模式.本文针对语言的广泛性、自然
文章针对高校文献检索课当前的现状，结合作者多年教授文献检索课的实际经验，提出了一部分应对和解决方案，同时探讨了这些方案的可行性和实施效果。
农业保险具有稳定农民收入,提供农民的生活水平,发展第三产业,完善产业结构,缓和食品安全危机和公众信任危机,推进城镇化建设,保障国家粮食安全,减轻政府财政压力等重要作用
毛细管电泳技术具有分离效率高、分析速度快、应用范围广等特点。此技术可以分析的成分小至无机离子,大至生物大分子,实用性较强。文章简要探讨了毛细管电泳技术在药物分析、
Kingmax DDR3 1333规格内存KINGMAX于今年度的台北国际计算机展上舍弃DDR3系列较低的800／1066的规格．直接推出高阶DDR3—1333规格内存产品．以1GB和2GB两种高容量直接发行．目前已
文章对图书馆工作中的环境污染情况以及对馆员危害因素做出了论述，希望图书馆有关部门对馆员的职业健康予以应有的重视，并对改善图书馆工作条件，防护可能的职业危害提出了几点建
根据废水、废气、固体废物等污染物排放源调查,并进行分析计算,给出并对比排放量状况,根据污染物状排放况进行分析给出治理措施与方案。
社会营销观念的出现,一方面是基于在一个环境恶化、人口爆炸性增长、全球性通货膨胀和忽视社会服务的时代,对于单纯的市场营销观念的认识;另一方面也是基于对广泛兴起的、以
三星手机作为一个后来者,在很短的时间里便击败了西门子、爱立信等著名品牌,迅速打入全球前3名,发展势头极其强劲。现在,其总经理朴尚振更是放言:“不久的将来,我们将击败诺