机译:安全的软件工程流程:改善软件开发生命周期以应对漏洞
机译:核安全软件开发环境的安全软件配置管理过程
机译:基于模型的系统工程和软件系统安全研讨会
机译:致力于安全软件的安全高效生产:FADES和基于模型的软件工程
机译:基于安全性模型的GPCA输液泵实时嵌入式软件开发
机译:第三本书:医疗领域的科学研究应用:软件开发方法论和用户软件工程方法论
机译:一种基于模型的方法,支持安全关键软件产品线工程中系统重用和安全创造的方法
机译:在软件开发生命周期的早期预测软件质量并生成安全软件