机译:验证指标以确保航天飞机飞行软件的质量
机译:软件指标的历史汇编,适用于NASA的Orion航天器飞行软件规模
机译:软件指标的历史汇编,适用于NASA的Orion航天器飞行软件尺寸
机译:端到端正式规范,验证和验证过程:太空飞行软件的案例研究
机译:实验性航天飞机轨道器研究,以获取用于代码和飞行加热模型验证的数据
机译:两阶段ARMA光谱和双光谱建模及其在航天飞机飞行数据中的应用。
机译:NASA太空飞行软件的软件可靠性分析:实践经验
机译:航天飞机飞行软件的遗产
机译:使用软件度量和可靠性模型为航空电子系统的飞行和地面支持软件获得可接受的质量软件