Software; Standards; Safety; Software reliability; Complexity theory; Europe;
机译:基于软件检查,需求可追溯性和容错性,分析安全关键系统软件需求的集成技术。
机译:使用基于树的模型集成软件可靠性的时域和输入域分析
机译:从传统软件开发流程迁移到敏捷软件开发:组织文化的作用
机译:关键软件文化-四个领域的流程分析
机译:使用模型驱动的体系结构为关键任务域提供基于支持保证的软件开发
机译:葡萄中的横向器官边界域基因家族:发育过程和应激反应期间的全基因组表征和表达分析
机译:用于软件分析的网格域
机译:安全关键和关键任务航空航天软件的认证流程