论文部分内容阅读
现代软件设计中，利用已存的组件构造软件正日益获得愈来愈多的重视。软件重用节省了开发的时间和开销，使得产品更易于更新和维护。由于组件语义的不精确或尚未验证的说明可能导致其合成含义的不确定性，同时由于嵌套重用，这种不确定性将会随着重用的每个层次逐渐积累。
基于组件软件的容错及语义
【摘 要】
：
现代软件设计中，利用已存的组件构造软件正日益获得愈来愈多的重视。软件重用节省了开发的时间和开销，使得产品更易于更新和维护。由于组件语义的不精确或尚未验证的说明可能导
【机 构】
：
哈尔滨工业大学
【出 处】
：
计算机工程与设计
【发表日期】
：
1999年5期
其他文献
目前我国国内对再生骨料透水混凝土的研究还处在初级的起步阶段,对再生骨料透水混凝土的影响因素及性能还缺乏较为系统性的研究。介绍了近年来国内外先进的有关再生骨料透水
目前重载有砟轨道存在诸多问题,因无砟轨道具有高平顺性、高稳定性和良好的耐久性等优点,故开展重载铁路隧道内无砟轨道结构选型分析具有重要意义。考虑了轴重增加以及隧道口
一、征稿重点：以邓小平理论和“三个代表”重要思想为指导，深入贯彻落实科学发展观，全面落实中央林业工作会议精神，深化改革，创新林业体制和机制的理论和实践，具体参考内容如下。
计算机策略是研究计算机模型，分析计算机弱点，开发入侵检测工具和误用检测工具的基础，文中介绍了一种描述策略的函数方法，它采用逐步求精法，即越高层抽象，越底层越具体，充分利用了计
在静定平面桁架的教学中,经典结构力学、定性结构力学以及结构力学仿真三者的偏重点是不一样的,定性结构力学偏重于估算,偏重于对定量计算结果的判断,从杆拉压性能的估算、某
大型综合性大学教学服务区设计,具有单体数目多,单体性质复杂的特点。结合杭州师范大学仓前校区中心区的给排水设计,阐述了对于循环冷却水补水系统的优化、大空间智能型主动
污水厂的能源问题日益严峻，为了缓解能源压力，需要对现有的处理系统进行改造优化。本文分析了离心泵的应用现状，论述了污水处理厂中变频调速器的工作原理，阐述了污水处理厂中离心
针对沥青路面存在高温性能不足,车辙、推移、壅包等病害严重的问题,提出了一种采用SBS和PRM高模量剂复合改性混合料。通过室内试验分析混合料的相关性能,对其路用性能和力学
为了研究不同纵筋直径对RC框架梁抗震性能的影响,总结了我国相关规范中对RC框架梁纵筋直径的规定和限制,并依据不同版本规范的限制,采用3种不同直径的纵筋进行RC框架梁的有限