机译:基于系统模型与软件模型协同分析的安全关键系统软件FMEA
机译:基于系统模型与软件模型协同分析的安全关键系统软件FMEA
机译:安全关键系统中的软件安全建模方法
机译:用于软件安全和认证模型的UML基于安全关键的软件密集型系统的开发
机译:扩展COCOMO II软件成本模型,以使用现成的商用(COTS)软件组件估算软件系统的工作量和进度:COCOTS模型
机译:基于微服务的软件系统体系结构重构的建模方法
机译:为安全关键软件系统建模和学习基于交互的事故
机译:使用软件度量和可靠性模型为航空电子系统的飞行和地面支持软件获得可接受的质量软件