【摘 要】
:
将UML引入到软件产品线开发中,在产品线可变性分析的基础上,提出了一种基于UML的产品线可变性建模方法。该方法不仅支持可选、多选一等可变点类型的描述,还支持软件产品线可变性的约束建模。在此基础上,还通过一个手机应用软件的产品线可变性建模实例验证了该方法的有效性。
【机 构】
:
重庆文理学院数学与计算机科学系,复旦大学计算机科学与工程系
【基金项目】
:
国家863计划项目(2005AA113120,2007AA012125),国家自然科学基金资助项目(60703092).
论文部分内容阅读
将UML引入到软件产品线开发中,在产品线可变性分析的基础上,提出了一种基于UML的产品线可变性建模方法。该方法不仅支持可选、多选一等可变点类型的描述,还支持软件产品线可变性的约束建模。在此基础上,还通过一个手机应用软件的产品线可变性建模实例验证了该方法的有效性。
其他文献
湿为浊邪,外湿易困阻清阳,蒙蔽清窍;阻于皮肤,逆于腠理;流注肌肉关节,阻痹经络。内湿源于脾胃,待其既成,多以脾胃为中心,以三焦为通路,蒙上、滞中、闭下,使气、水运行通路受
研制成功了一台超高真空化学气相沉积系统。该系统采用扁平石英管作为生长室,扁平石墨加热器进行加热。系统真空度用分子泵维持,本底真空度可达2×10^-6Pa。利用该系统所生长的SiGe外延
随着2015年三秋服务的结束,勇猛机械也随之迎来了生产淡季。虽说是淡季,不过勇猛机械的员工可一会儿也没有闲着。在完成公司各项收尾工作的同时,为提高勇猛机械员工的职业技能,打
提出了一个自动生成非线性循环不变式的算法。循环不变式可以表示成一个带参数的多项式的形式,根据断言的归纳特性,将循环不变式的生成问题转变成一个约束求解问题,这个约束求解问题的每个解对应于一个循环不变式,如果约束求解问题仅有零解,则说明不存在该参数多项式形式的循环不变式。该算法在Maple中得到了实现,并通过一些实例说明了该算法的有效性。
提出了一种新的表达数据集的方法———特征向量,它通过坐标和密度描述了某一密集空间,以较少的数据量反映站点数据的分布特性。在此基础上提出了一种基于特征向量的分布式聚类算法———DCBFV(D istributed C lustering Based on Feature Vector),该算法可有效降低网络通信量,能够对任意形状分布的数据进行聚类,提高了分布式聚类的时空效率和性能。理论分析和实验结果
光寻址液晶光阀是一种高分辨率空间光调制器,是高亮度、高分辨率大屏幕光寻址液晶光阀投影机的核心部件,为了避免读出光对图像对比度和分辨率的影响,光阀结构中需要一层高光吸收能力的吸收层.本文讨论了光寻址液晶光阀对光吸收层的吸收性能要求,吸收层需要在全光谱范围内都有比较强的吸收.碲化镉薄膜对蓝、绿光有较强的吸收,钒氧酞菁薄膜对红光具有较强的吸收,它们具有近似互补的吸收光谱.碲化镉和钒氧酞菁复合多层吸收薄膜
对翻译记忆的关键技术——语句相似度的几种常用计算方法进行了分析,针对英汉翻译记忆系统的要求,提出了基于块的方法计算英语句子相似度,通过将英语句子按照句型分类存储,组合句子各个组成块的语义相似度与权重来得到整个句子的相似度。结果证明,它能很好的反映句子在语义和结构上的相似程度。
随着面向服务架构(SOA)的提出,软件系统的整合与开发速度将越来越快,但软件系统的安全机制却是每次开发时都需要重新建立,并且随着软件系统日益增多,安全机制的复杂程度将不断提升。提出一种基于商业流程执行语言(BPEL)的通用安全控制模块设计方法,以减少相应的权限开发与管理工作,同时还以制造业企业资源计划系统(ERP)与电子商务系统账户整合为例说明权限模块的运行机制。
目的:观察舒心汤联合曲美他嗪治疗冠状动脉粥样硬化性心脏病(冠心病)的临床疗效。方法:将2013年1月—2014年12月本院收治的200例冠心病患者随机分为治疗组和对照组,每组各100例。
为满足组织的决策需求和战略目标,提出在实施目标—问题—度量(GQM)方法中,使用层次分析发现多维数据模型的主题域,通过关联属性挖掘算法发现数据库中与主题关联的关系属性。分析结果对科学合理地布置多维数据的呈现结构有指导作用。