Informatics Group Sheffield Hallam University;
rnInformatics Group Sheffield Hallam University;
requirements; specification execution; visualisation validation;
机译:关注质量:光谱软件的验证:将集成方法应用于设备鉴定和计算机系统验证
机译:基于模型的框架涵盖了从规范到嵌入式软件系统中的时序要求验证的完整工作流程
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:应用可视化以验证软件系统要求
机译:“需求推荐器”:在可持续软件项目的需求工程中使用多个标准推荐器系统的拟议框架
机译:开发用于康复的可视化软件:研究患者治疗师和康复过程的要求
机译:开放式创新和软件生态系统中的需求工程 - 在开放式创新和软件生态系统的背景下探索行业中的需求工程实践