需求工程论文

基于NuSMV的SysML模型形式化验证
论文摘要航空航天道路交通等高安全领域的系统开发需要保证高安全、高可靠,对于该类系统的合理建模以及模型验证则尤为重要。当前模型驱动开发方法已经广泛应用于安全关键系统的开发过程中,...
需求工程方法在机载系统研发中的应用研究
论文摘要通过对需求工程的理论方法进行阐述,探讨机载系统研发过程中开展需求工程方法理论的应用研究。结合MBSE系统工程V模型流程说明航空产品研发各阶段与需求工程如何对应;结合AR...
军事信息系统需求模型一致性检验方法
论文摘要在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该...