【摘 要】
：
针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并
论文部分内容阅读
针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言(UML)模型的过程,及对该UML模型进行形式化描述,采用形式化验证技术对形式化后的UML模型进行需求验证,以确保设计的UML模型的正确性。实验结果表明,形式化的需求分析方法克服了传统需求分析方法中存在的问题。
其他文献
共享资源必将成为大势所趋,而对于选择困难症的我们,今后困扰我们的将是,今天下班是租车、拼车,还是骑个单车?从2012年开始发仞,至2017年的这几年中,都市生活,越来越多的人不
[目的]探讨PDCA循环在静脉输注血管活性药物风险管理中的应用。[方法]对210例静脉输注血管活性药物的患儿(观察组)进行PDCA循环管理,对181例静脉输注血管活性药物的患儿(对照
本论文在常温常压下利用紫外催化湿式氧化技术（UV-CWOP）处理模拟医院废水，对其同时实现污染物的降解去除和其中病原微生物的彻底杀灭。医院废水和生活污水基本指标相似但其中含
<正>党中央作出在党的基层组织和党员中开展创先争优活动重要部署以来,共青团充分认识在广大团员青年中开展创先争优活动的重要性和必要性,紧紧围绕胡锦涛总书记对共青团提出
目的:建立并验证慢性萎缩性胃炎(CAG)大鼠模型,运用代谢组学的方法研究CAG大鼠模型代谢组学特征及生物标志物,探讨胃经穴位与胃之间是否存在一定的相对特异性联系。方法:将32
针对医学图像中存在的灰度不均匀现象,提出一种变分水平集分割模型。将邻域信息引入到基于Bayes决策准则的水平集分割框架中,以增强灰度不均匀条件下弱目标边界的识别能力。
随着我国教育事业的发展,计算机辅助设计实践教学在培养信息化人才方面具有重要作用,计算机应用水平已成为衡量学生业务素质与能力的重要标志。计算机辅助设计实践教学必须适
在分析矿井提升机减速器功能和结构的基础上,针对减速器在生产过程中常见故障问题,提出了相应的解决方案。在齿轮、轴承、箱体、密封装置和冷却装置等方面对减速器进行技术改
目的:探讨输血检验流程的质量控制效果,为提高输血患者临床疗效及输血安全性提供可靠依据,保障患者生活质量与生命安全。方法:对照组输血患者按照常规输血检验流程进行输血治