【摘 要】
:
提出一种使用闭环系统负反馈框图建立软件过程的控制模型的方法。该模型利用软件过程中关键域的度量值及其在不同开发阶段的权重来形式化地描述软件开发中某一时刻的特征,并且通过它与设定的门限值的比较来指导软件过程,保证软件质量。
论文部分内容阅读
提出一种使用闭环系统负反馈框图建立软件过程的控制模型的方法。该模型利用软件过程中关键域的度量值及其在不同开发阶段的权重来形式化地描述软件开发中某一时刻的特征,并且通过它与设定的门限值的比较来指导软件过程,保证软件质量。
其他文献
着眼于单主体访问操作中的原子行为和时序性质,采用时序模态逻辑,提出一种基于行为的时序使用控制模型。该逻辑框架包含了与授权相关的按时间节点预定义的行为、由主客体属性和系统所表达的状态序列及状态谓词。在给出了一种策略语言后,对其语法和语义进行了形式定义,并根据使用控制(UCON)模型族的行为特性给出了控制策略。该逻辑模型不仅可以形式化描述使用控制基本原理,而且有助于准确并自动化地判定策略的可满足性,具
针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性。从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于SynoTPysVMM方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同
【正】 随着日本人民饮食结构的变化及加工食品比重的增加,日本的农产品加工业在国民经济中占有越来越重要的地位。目前,日本全国每年的饮食费支出总额达46.8兆日元,其中向食
【正】 随着台湾省经济的发展,旅游业也日益繁荣,观光游憩出现了新的内容和形式,一般说,观光游憩场所分4大类型。 以观光游憩为主 即指一般的公园,主要是为游客和城市居民提
由于已有的指定验证人代理签名方案都是基于公钥密码体制和身份密码体制的,应用自认证公钥技术和指定验证人代理签名思想,提出了一种新的使用自认证公钥的指定验证人代理签名方案。该方案具有以下特点:在传送签名时,没有必要传送消息,因为指定验证人能从签名中正确恢复出消息;在验证签名有效性的同时,也验证了公钥的真实性,这些验证能在逻辑单步内完成;在验证公钥真实性时,不需要额外的证书。和已有方案相比,新方案具有通
随着市场竞争的全球化,企业必须能够对其业务过程进行快速重组,以提高自身竞争力,这使得其工作流问题受到了广泛的重视和研究。但是目前的工作流技术仍然不够成熟,尤其是业务过程涉及不同企业间的协作时,存在着互操作方面的诸多缺陷。W eb服务的产生和发展很好地解决了这个难题,所以建立在W eb服务基础上的BPEL4WS工作流技术弥补了当前工作流技术的不足,且已成为一种发展趋势。基于BPEL4WS设计和实现了
对分布式流数据中频繁项的发现算法进行了研究,利用一种新颖的分布式概要算法(DSA)来发现从叶子节点直至根节点的概要结构,通过在不同的分布状态下设置相应的精确梯度来最小化通信负载,并利用真实数据集验证了该结构和算法的有效性。
提出了一种基于粒子群优化(PSO)的图像最小误差阈值化方法。将粒子群优化算法应用于图像最小误差阈值化中,克服了常规最小误差阈值化计算量大的缺点。实验证明该算法能有效降低常规图像最小误差阈值化的计算量,与遗传算法相比,该方法有更好的收敛性和稳定性。
我校在学生中开设法律课已有四年多,收到了一定的效果。本文就法学基础课的教学目的谈些看法。 目的,是人们对某种事物的进行和发展所期望的结果,它决定了为实现这一结果所