【摘 要】
：
近年来,可信构件的研究逐渐引起软件工程领域的重视.可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,而方法就是通过扩展与完善可信重用的软件构
论文部分内容阅读
近年来,可信构件的研究逐渐引起软件工程领域的重视.可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,而方法就是通过扩展与完善可信重用的软件构件(可信构件)库.构件的可信来源于可信保障技术的应用,如:契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等.本文通过分析可信构件研究的若干领域,总结出构件可信性的3个角度,探讨了可信构件研究的不足之处,并分析其原因.作为总结,给出了可信构件领域研究需要解决的若干问题.
其他文献
视网膜静脉阻塞(retinal vein occlusion,RVO)的并发症和后遗症较多,其中黄斑水肿(macular edema,ME)是RVO最常见,也是严重危害视力的并发症之一,因目前尚无有效的治疗方法而
通过金属铁片与酒石酸钠(C4H4O6Na2)在140℃水热反应12h,在金属铁片上原位大面积生长出了Fe3O4纳米片.采用扫描电子显微镜、X射线衍射仪和透射电子显微镜对产物进行表征.结果
在激光与物质相互作用的实验中,气体靶通常由超声速喷嘴在高背压下向真空中高速喷射气体产生。激光与气体靶相互作用时确定打靶条件对整个实验有着十分重要的意义。为了得到
讨论了二维热方程的非特征Cauchy问题,利用权函数方法,得到了带有显式常数的H(o)lder型条件稳定性估计,这在这种不适定问题的数值计算的误差分析中是有用的.
利用铝锚有机金属偶联剂对超细碳酸钙进行表面改性.讨论了改性前后超细碳酸钙的澜湿性.沉降体积等表面性质的变化.结果表明:改性后的超细碳酸钙与水的接触角增大;红外光谱和
ERK/MAPK途径在乳腺癌的发生和发展中起着重要的作用,该通路有3个关键靶分子:小G蛋白Ras及其下游的Raf激酶、MEK1/2和ERK1/2。ERK/MAPK信号转导途径的激活将促进乳腺肿瘤细胞
从基本力学平衡方程出发获得了任意薄膜厚度的磁膜-基底悬臂梁系统弯曲问题的严格解,研究了悬臂梁系统作为弯曲型微传感器件的应用优化问题,并重点分析了构成悬臂梁的两种材料的几何参数和物理参数对悬臂梁自由端最大挠度值的影响.结果表明:在基底厚度确定的情形下,当磁膜/基底的弹性模量比值增加时,悬臂梁自由端挠度的最大值增大,但对应挠度最大值的最优厚度比值则减小;而当悬臂梁的总尺度确定时,系统的挠度最大值与磁膜
为了能更好地揭示脂肪烃的气相色谱保留指数与结构的关系,通过对412个脂肪烃类化合物在不同固定相、不同柱温下的1742个样本集的气相色谱保留指数值(RI)与其部分参数相关性的
首先给出了三角样条函数及其性质,然后在此基础上给出了一种构造三角样条小波的新方法.该方法简单易行,而且构造出的小波具有许多良好的性质,如对称性(具有线性相位或广义线
In the present work the cosmic ray intensity data recorded with ground-based neutron monitor at Deep River has investigated taking into account the associated i