formal specification; formal verification; object-oriented methods; statistical analysis; software requirements specification; empirical data; software requirements validation;
机译:软件从业者中的软件需求实践调查:吉达的一项研究
机译:VSE的航空航天软件工程实践的开发:综合成熟度模型和标准的过程要求和实践概述
机译:面向核工业的拟议ans 10.7非实时,高完整性软件的教程-软件开发人员的要求,ansi / ans-10.7-201 x
机译:软件要求实践:一些真实数据
机译:使用国际标准识别,规范和测量分配给实时嵌入式软件的系统非功能性要求
机译:一个可扩展的大数据软件架构管理与整个苏格兰人口的其他健康数据相关的现实临床放射学数据的研究资源
机译:开放式创新和软件生态系统中的需求工程 - 在开放式创新和软件生态系统的背景下探索行业中的需求工程实践