机译:可满足性模理论与基于指标的演化算法相结合的并行框架,用于配置大型和实际软件产品线
机译:软件产品线的性能可变性:案例研究中提出的理论
机译:基于自动模型的不确定性软件产品线的性能分析
机译:根据该理论视角下的软件产品线分析
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:用于评估治疗方案的软件/硬件产品MyDiaBase + RxChecker的性能分析
机译:基于模态接口自动机的软件产品线I / O一致性测试理论
机译:软件产品线:2010年美国陆军软件产品线研讨会报告