static program analysis; functional verification; non-functional properties; model-based design;
机译:将伽马分析软件纳入质量保证程序的工具
机译:在本科软件工程课程中教授软件质量保证
机译:外部质量保证计划的“性能允许极限”-RCPA质量保证计划应用斯德哥尔摩准则的一种方法
机译:通过静态程序分析确保软件质量
机译:使用轻量级静态分析提高软件保证。
机译:外部质量保证计划的性能允许极限 – RCPA质量保证计划应用斯德哥尔摩准则的一种方法
机译:原因分析:LLNL软件质量保证计划不符合DOE O 414.1D标准和程序要求