首页> 外文OA文献 >Modeling and Evaluation of Performance and Reliability of Component-based Software Systems using Formal Models

【2h】

Modeling and Evaluation of Performance and Reliability of Component-based Software Systems using Formal Models

机译：使用正式模型的组件基软件系统性能和可靠性建模与评估

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Fakhraddin Farjaminejad; Ali Harounabadi; Sayed Javad Mirabedini;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Reliability modelling and analysis of component-based software system: a graph theoretic systems approach [J] . Nitin Upadhyay, Bharat Madhusudan Deshpande, Vishnu P. Agrawal International Journal of Reliability and Safety . 2013,第2期

机译：基于组件的软件系统的可靠性建模和分析：一种图形理论系统方法
2. New component-based reliability model to predict the reliability of component-based software [J] . Dimpal Tomar, Pradeep Tomar International Journal of Reliability and Safety . 2019,第1a2期

机译：基于新的组件可靠性模型，以预测基于组件的软件的可靠性
3. Reliability Evaluation Model of Component-Based Software Based on Complex Network Theory [J] . Li Kewen, Liu Lu, Zhai Jiannan, Quality and Reliability Engineering International . 2017,第3期

机译：基于复杂网络理论的基于组件的软件可靠性评估模型
4. Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques [C] . Jianli Xu Annual IEEE/NASA Software Engineering Workshop . 2006

机译：使用正式建模技术评估和平衡软件架构的可靠性和性能性能
5. A component-based approach to verification and validation of formal software models. [D] . Desovski, Dejan. 2006

机译：基于组件的方法来验证和确认正式软件模型。
6. Formal Implementation of a Performance Evaluation Model for the Face Recognition System [O] . Yong-Nyuo Shin, Jason Kim, Yong-Jun Lee, 2008

机译：人脸识别系统性能评估模型的正式实现
7. New component-based reliability model to predict the reliability of component-based software [O] . Dimpal Tomar, Pradeep Tomar 2019

机译：基于新的组件的可靠性模型，以预测基于组件的软件的可靠性

Modeling and Evaluation of Performance and Reliability of Component-based Software Systems using Formal Models

著录项

引文网络

相似文献

相关主题

期刊订阅