机译:关键任务软件系统中的缺陷分析:详细调查
SESM s.c.ar.l., A Finmeccanica Company, Via Tiburtina, 1238, 00131 Roma, Italy;
DIETI, Universit’a degli Studi di Napoli Federico II, Via Claudio 21, 80125,Napoli, Italy;
DIETI, Universit’a degli Studi di Napoli Federico II, Via Claudio 21, 80125 Napoli, Italy Critiware spin off, Incubatore Incipit, Complesso Universitario di Monte S. Angelo, Via Cinthia, 80126 Napoli, Italy;
defect analysis; process measurement; mission-critical systems; industrial study; empiricalstudy; process evaluation;
机译:NASA JPL选择Coverity来发现Curiosity关键任务飞行软件中的缺陷
机译:对面向对象范例对现实世界中关键任务软件的可维护性影响的实证研究
机译:大规模关键任务系统工程的软件质量框架
机译:关键任务软件的基于缺陷的可靠性分析
机译:从不确定性到错误:使用静态分析,统计方法和概率图形模型推断软件系统中的缺陷。
机译:通过使用新型大规模蛋白质组学分析软件系统研究番茄红素在LNCaP细胞中的作用
机译:LEGOs:用于任务关键型系统的基于对象的软件组件。最终报告,1995年6月1日 - 1997年12月31日