【摘 要】
：
在开发基于因特网的软件系统(文中称为网构软件)时,在开发过程的各个阶段都需要考虑软件系统的多种质量属性,这样网构软件的质量才能在软件系统的规约和设计阶段进行推导和预
【机 构】
：
College of Mathematics,中国建设银行(湖北省分行),Software Institute,Key Laboratory of High Confidence Software T
论文部分内容阅读
在开发基于因特网的软件系统(文中称为网构软件)时,在开发过程的各个阶段都需要考虑软件系统的多种质量属性,这样网构软件的质量才能在软件系统的规约和设计阶段进行推导和预测,从而在部署和运行阶段进一步进行评估和验证.提出了一种新的抽象概念,即抽象质量类型,将软件实体的数据状态、相关的操作、质量属性以及保证质量得以实现的环境封装在一个统一的语法单元中,从而为建模软件实体以及推导其功能和非功能属性提供了一种严格的手段.探讨了基于软件体系结构及软件交互过程的抽象质量类型的组合,这为构建高质量网构软件提供了一定的形式化基础.最后,还描出了一个系统原型来展示如何利用抽象质量类型构造网构软件,并验证和提高网构软件系统的相关质量属性.
其他文献
目的 探讨早期标准营养制剂肠内营养(enteral nutrition,EN)支持对急性脑卒中患者营养状况的影响.方法 将我院神经内科收住的70例首发脑卒中患者按入院先后分为实验组和对照
微小RNA对细胞的增殖、分化和凋亡有重要的调节作用,其在正常组织和肿瘤组织中的表达显著不同,并且它参与了肿瘤的发生、发展和预后.这些特点为肿瘤的诊断和治疗提供了新的思
三磷酸腺苷结合盒超家族G成员2(ABCG2)基因定位于4q22,以同源二聚体形式执行完整转运功能,在保护细胞及机体免受各种内外源物质伤害等方面起着重要作用,其功能发挥受自身结构
目的 探讨成人肝细胞移植治疗肝衰竭的临床效果.方法 从良性病变的外科肝切除组织中获取有活性的成人肝细胞,对2例肝衰竭患者采用股动脉插管介入法行脾脏内移植.结果 2例患者
目的:分析应用带皮神经营养血管丛皮瓣修复四肢复杂创面的临床效果.方法:根据四肢不同部位创面,设计相应的带皮神经营养血管丛皮瓣修复. 结果:22例中有2例腓肠神经营养血管丛
目的:比较研究SD球帽式附着体义齿和传统可摘局部义齿不同时期基牙的存留状况.方法:选择60例肯氏Ⅰ类牙列缺损患者,分别行SD球帽式附着体义齿(30例)和传统可摘局部义齿(30例)
病例:患者女,54岁,本次因"疲劳、纳差1年,加重伴黄疸、皮肤瘙痒半个月"入院.患者于2008年2月底无明显诱因出现严重疲劳、纳差、尿黄,伴腹胀、关节肿痛、眼干、口干.
目的 研究社区获得性肺炎(CAP)的预后及其相关因素.方法 选择2003年8月-2009年3月全国37家医院中社区获得性肺炎患者,记录患者发病时的情况和发病1个月后的生存状况.所有资料
本文提出了一种适用于高等级节点的二进制负指数退避算法BNEB,验证了竞争窗口平均值较小的节点信道竞争能力较强的结论,并根据此结论,针对多跳Ad hoc网络中由于MAC层竞争导致
利用虚拟仪器技术,在实时获取电控发动机喷油脉宽信号的基础上,研制了一种电喷发动机汽车油耗多功能测试仪,可轻松实现对汽车多种油耗指标和相关运行参数的测量、显示和数据