【摘 要】
：
基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.
【基金项目】
：
国家高技术研究发展计划(863计划)
论文部分内容阅读
基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构
其他文献
探讨在市场经济条件下控制食源性疾病的措施和方法。采取提高自身管理、技术管理水平，贯彻落实法制管理、协同管理的食源性疾病控制要点和坚持国家监督、部门管理、群众监督相
从最优化思想出发，把有理Bézier曲线的降阶问题转化为求解优化问题，这样使得权因子和控制顶点能被分开考虑，从而保证了权因子的非负性．同时，结合智能计算中的仿生学方法和程
依托苗尾水电站导流隧洞进口不良地质大跨度渐变段开挖支护项目进行系统总结和研究，形成一种新不良地质隧洞开挖支护方法“无爆破机械开挖”法，“无爆破机械开挖”法大幅度降低
散居儿童居住分散，年龄偏小，家长普遍缺乏对保健必要性的认识，要提高散居儿童保健管理质量，应立足于社区，掌握散居儿童的动态人数，及时建立散居儿童保健管理过录册，并对家长进行保健
为了探讨子痫止妊娠的时机及方式。以提高母婴存活率，提高母婴的生活质量，对我院１９９０年１月－１９９８年１２月收治的９６例子痫采用系统回顾性分析法进行分析。结果显示：３４－３６＾＋６孕周抽搐控制至分娩时间４８－７２小时新生
小湾电站泄洪洞出口一期明挖及支护工程,质量要求高,施工工期紧,高边坡交叉作业干扰大,由于地质原因实际需要进行大方量、大面积连续混凝土浇筑,为了满足施工工期,采用配重式
梨园水电站筹建准备工期紧张，相关阶段设计工作与筹建准备同步进行，在实施过程对施工总布置结合现场条件进行了大量调整和优化，实践证明这些调整和优化对保证工程建设进度、质量
高层架构恢复对软件维护和软件进化至关重要.把实现架构恢复的聚类问题看作优化问题,通过对常规遗传算法中初始群体产生策略、选择操作方法、交叉概率和变异概率的自适应性等
为了研究在藻体钙化情况下Cd对集胞藻的胁迫作用，采用实验室模拟方法，通过不同浓度Ca^2＋、Cd^2＋配比下培养基中生物量、光合溶解氧、叶绿素等一系列生理指标的变化来反映钙化条件
对“改善农村生育卫生服务项目”的４个项目县的住院分娩现状及其影响因素进行研究。结果显示：４县住院分娩率极低。１９９７年４县住院分娩率平均为１４．５％。其主要影响因素是：（１）基层卫生人员技术水平