...
机译:在可认证的安全关键领域评估COTS软件
National Aerospace Laboratory NLR, A. Fokkerweg 2, PO Box 90502, 1006 BM Amsterdam, The Netherlands;
certifiable safety-critical domain; commercial off-the-shelf; custommade software; software management;
机译:规划计划外的实验:评估安全关键软件标准的有效性
机译:使用语言工作台和特定领域的语言进行安全性至关重要的软件开发
机译:使用语言Workbenches和特定于域的语言进行安全关键软件开发
机译:在多核处理器中管理可验证的,安全关键的航空电子软件应用程序中的缓存分区
机译:扩展COCOMO II软件成本模型,以使用现成的商用(COTS)软件组件估算软件系统的工作量和进度:COCOTS模型
机译:敏捷方法的开源安全关键软件
机译:在安全关键型应用中使用COTS软件组件–一种可辩护的方法*
机译:规划计划外实验:评估安全关键软件标准的有效性。