Towards a Formal and Scalable Approach for Quantifying Software Reliability at Early Development Stages

Towards a Formal and Scalable Approach for Quantifying Software Reliability at Early Development Stages

4.11 - 1251 ratings - Source



This study will enable software project stakeholders to effectively detect requirements faults and assess the quality of requirements early in development, and ultimately lead to improved software reliability if the identified faults are removed in time. Software project practitioners, regulators, and policy makers involved in the certification of software systems can benefit most from the techniques proposed in this study.Based on Stochastic Reward Nets, a model of the hierarchical view for a fault tolerant software management system is put forward, ... Tripathi and Mall (2005) [ 36] developed a model based on Reliability Block Diagram (RBD) for representinganbsp;...


Title:Towards a Formal and Scalable Approach for Quantifying Software Reliability at Early Development Stages
Author:
Publisher:ProQuest - 2009
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA