构件组装及其形式化推导研究

来源 :软件学报 | 被引量 : 0次 | 上传用户：asjkdhfjkhasdjklfhjk

【摘要】

：

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.

【作者】

：

任洪敏钱乐秋

【机构】

：

复旦大学计算机科学与技术系

【出处】

：

软件学报

【发表日期】

：

2003年6期

【关键词】

：

软件工程构件组装组装推导软件体系结构进程演算 Algorithms Components Computer architecture Formal lo

【基金项目】

：

国家高技术研究发展计划(863计划)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构

其他文献

大跨度隧洞不良地质段无爆破机械开挖施工

依托苗尾水电站导流隧洞进口不良地质大跨度渐变段开挖支护项目进行系统总结和研究，形成一种新不良地质隧洞开挖支护方法“无爆破机械开挖”法，“无爆破机械开挖”法大幅度降低

期刊

不良地质大跨度开挖支护无爆破机械开挖

配重式拖模在小湾水电站泄洪洞高边坡的施工

小湾电站泄洪洞出口一期明挖及支护工程,质量要求高,施工工期紧,高边坡交叉作业干扰大,由于地质原因实际需要进行大方量、大面积连续混凝土浇筑,为了满足施工工期,采用配重式

期刊

泄洪洞出口贴坡混凝土浇筑配重式拖模

集胞藻钙化对Cd胁迫的生理响应

为了研究在藻体钙化情况下Cd对集胞藻的胁迫作用，采用实验室模拟方法，通过不同浓度Ca^2＋、Cd^2＋配比下培养基中生物量、光合溶解氧、叶绿素等一系列生理指标的变化来反映钙化条件

期刊

钙化集胞藻生理响应胁迫calcification Synechocystis sp. physiological response stress

构件组装及其形式化推导研究

其他学术论文