software safety; safety tools; software tools; safety process;
机译:计算机辅助过程和工厂开发。通用软件工具和方法的回顾以及与集成协作方法的比较
机译:用于NPP安全系统的具有CASE工具的基于模型的软件开发过程
机译:基于FPGA的工程安全特征系统开发的软件验证过程和方法
机译:收敛性:对齐软件安全分析的方法和工具与软件开发过程的方法和工具
机译:探索在软件应用程序开发方法中集成安全工具的安全过程改进
机译:开发新的软件工具和分析方法以改善对G6PD状态的确定
机译:在内部项目之间共享软件框架的组织的选择,工具和方法选择