Requirement Tracing; Z notation; Formalization; Design Traceability; Automated verification; Trace paths; Trace table;
机译:基于5S方法的敏捷软件开发环境中系统需求优先化过程的过程模型:实证研究
机译:对全球软件开发中需求变更管理过程的动机进行系统的文献综述和实证研究
机译:在非传统软件开发过程中提取安全要求的标记方法
机译:软件开发过程中需求可追溯性:一种经验方法
机译:POS标记方法可在敏捷软件开发过程中捕获安全需求
机译:基于模糊的TopSis对有效安全要求工程方法的选择分析可靠性医疗软件开发
机译:支持服务软件开发过程中的非功能性需求:mDD方法