机译:考虑软件架构的并发软件应用程序的高效可靠性分析
Department of Mathematics and Computer Science Eastern Connecticut State University Willimantic, CT 06226, USA;
Department of Computer Science and Engineering University of Connecticut, Storrs, CT 06269, USA;
Software reliability; concurrent software; software architecture; state space explosion;
机译:基于架构的软件可靠性分析,并包含一致性
机译:使用基于体系结构的自适应框架提高分布式并发环境中的软件性能和可靠性
机译:基于软件可靠性评估工具的软件质量度量和评估-软件可靠性增长模型的应用及其评估-
机译:基于体系结构的可靠性分析使用随机奖励网的并发软件应用程序
机译:基于架构的并发软件应用程序的性能和可靠性分析。
机译:NASA太空飞行软件的软件可靠性分析:实践经验
机译:基于遗传算法的建筑软件应用可靠性与成本权衡分析
机译:软件分析手册:软件复杂性分析和软件可靠性评估和预测