机译:基于需求的,自下而上的SLOC估算和分析NASA的Orion乘员组探索飞行器航天器飞行软件
机译:基于飞行演示者项目的研究生级设计教育
机译:基于设计结构矩阵的软件开发项目需求变更的影响传播和风险评估
机译:基于价值的NASA飞行项目的软件V&V流程设计
机译:检查员工承诺,基于软件的技术变更过程的实施以及项目成功之间的关系。
机译:NASA太空飞行软件的软件可靠性分析:实践经验
机译:使用验证设计进行程序模型检查:1、2、3 NASA飞行软件案例研究
机译:高级软件开发工作站。知识库设计:飞行计划应用知识库的设计