论文部分内容阅读
文章针对软件安全性需求的提取,提出了基于四变量模型的安全性需求提取方法。分析了现有四变量模型的不足,改进了现有四变量模型的建模分析能力,并将其运用到软件安全性需求提取中,最后通过实例验证了该方法的有效性和可行性。
基于四变量模型的软件安全性需求提取技术研究
【摘 要】
：
文章针对软件安全性需求的提取,提出了基于四变量模型的安全性需求提取方法。分析了现有四变量模型的不足,改进了现有四变量模型的建模分析能力,并将其运用到软件安全性需求
【机 构】
：
中国船舶重工集团公司第723研究所
【出 处】
：
舰船电子工程
【发表日期】
：
2020年11期
其他文献
在改革深化年，作为关系国家能源安全和国民经济命脉的国有重点骨干企业，国家电网在电力体制改革、国资国企改革与供给侧结构性改革方面齐头并进，有效释放了改革红利。$$2017年，国
报纸
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
以煤田钻孔资料“二次开发”作为铀矿勘查新思路,择优选取三道明水盆地收集的煤田放射性异常孔进行原位钻孔验证,通过验证结果对比分析,认为三道明水盆地铀矿化可能为层间氧
介绍了大屯煤电公司孔庄矿水力采煤的发展过程，现水采工艺系统，生产现状以及为提高水采水平所做的一些工作和目前生产中有待解决的一些问题。文中还提出了为发展孔庄矿水力采煤
趋化蛋白是一类与炎症反应密切相关的小分子蛋白南，在机体抗病毒免疫中起重要作用。某些趋化蛋白可正向趋化、吸收病毒持异性ＣＴＬ至病感染局部ＣＴＬ除可直接裂解感染细胞或释放广谱的抗
细胞因子在抗病毒免疫中起着重要的调控作用，而病毒则能编码与合成某些蛋白质以拮抗细胞因子的作用。本文综述病毒产物干扰ＩＦＮ、ＴＮＦ、趋化因子等因子作用方式的研究。
厚朴是一种常用中药,《神农本草經》中列为中品,《本草綱目》列入木部。自古以来就用为腸胃道的要药。近年来厚朴的类似品、代用品开始出現于市場。笔者1961年工作于广西药
运用工作研究中的方法研究与作业测定工具,以C公司数控机床装配线为研究对象,对本地化的数控机床装配工艺流程进行观察和记录工作状况,并对其进行全面分析,确定导致生产率低
为合理检核和分析单基站CORS数据质量,本文利用TEQC软件提取了STYCORS基站的观测值有效率、多路径效应、周跳、卫星信号信噪比等信息,对STYCORS基站数据质量进行了检核;并提