Software Reliability Methods

✍ Scribed by Doron A. Peled

Publisher: Springer
Year: 2001
Tongue: English
Leaves: 354
Series: Texts in Computer Science
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.

📜 SIMILAR VOLUMES

Software Reliability Methods

📁 Software Reliability Methods

✍ Doron A. Peled 📂 Library 📅 2001 🏛 Springer 🌐 English

<p>Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of

Statistical Methods in Software Engineer

📁 Statistical Methods in Software Engineering: Reliability and Risk

✍ Nozer D. Singpurwalla, Simon P. Wilson (auth.) 📂 Library 📅 1999 🏛 Springer-Verlag New York 🌐 English

<p>This preface pertains to three issues that we would like to bring to the attention of the readers: our objectives, our intended audience, and the nature of the material. We have in mind several objectives. The first is to establish a framework for dealing with uncertainties in software engineerin

A Recursive Method for Reliability Compu

📁 A Recursive Method for Reliability Computation of Moranda’s Geometric Software Reliability Model

✍ Parvinder S.S. 📂 Library 🌐 English

Paper, PWASET Volume 26, 2007, ISSN 1307-6884, 720-725 c.<div class="bb-sep"></div>The Moranda’s Geometric de-Eutrophication model alleviates some of the objections to the Jelinski Moranda model for software failures. In Moranda Geometric de-Eutrophication model,<br/>N(t) is defined as the number of

Software Reliability

📁 Software Reliability

✍ H. Kopetz (auth.) 📂 Library 📅 1976 🏛 Macmillan Education UK 🌐 English

Software Reliability

📁 Software Reliability

✍ Wohlin C. 📂 Library 🌐 English

C. Wohlin, M. Host, P. Runeson and A. Wesslen, Software Reliability, in Encyclopedia of Physical Sciences and Technology (third edition), Vol. 15, Academic Press, 2001.<div class="bb-sep"></div>Contents<br/>Reliability measurement and modeling: an introduction<br/>Usage-based testing<br/>Data collec

Multi-Criteria Decision Models in Softwa

📁 Multi-Criteria Decision Models in Software Reliability: Methods and Applications

✍ Ashish Mishra, Nguyen Thi Dieu Linh, Manish Bhardwaj, and Carla M. A. Pinto 📂 Library 📅 2022 🏛 CRC Press 🌐 English

This book provides insights into contemporary issues and challenges in multi-criteria decision models. It is a useful guide for identifying, understanding and categorising multi-criteria decision models, and ultimately implementing the analysis for effective decision-making. The use of multi-crit