| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990000724800403321 |
|
|
Autore |
Fiorentino, Antonio |
|
|
Titolo |
Mezzi di discarica per navi bulk-carriers : memoria presentata al 9. Convegno nazionale di tecnica navale in Napoli il 19 ottobre 1962 / Antonio Fiorentino |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910299290503321 |
|
|
Autore |
Peng Rui |
|
|
Titolo |
Software Fault Detection and Correction: Modeling and Applications / / by Rui Peng, Yan-Fu Li, Yu Liu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 108 p. 30 illus., 12 illus. in color.) |
|
|
|
|
|
|
Collana |
|
SpringerBriefs in Computer Science, , 2191-5768 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer software—Reusability |
Quality control |
Reliability |
Industrial safety |
Mathematical models |
Software Engineering |
Performance and Reliability |
Quality Control, Reliability, Safety and Risk |
Mathematical Modeling and Industrial Mathematics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Chapter 1. Introduction -- Chapter 2. Classification of Models -- Chapter 3. TEF Dependent Software FDP and FCP Models -- Chapter 4. Software Reliability Models Considering Fault Dependency -- Chapter 5. General Order Statistics-Based Model -- Chapter 6. Reliability of Multi-release Open-Source Software -- Chapter 7. FDP and FCP with Four Types of Faults. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book focuses on software fault detection and correction processes, presenting 5 different paired models introduced over the last decade and discussing their applications, in particular to determining software release time. The first work incorporates the testing effort function and the fault introduction process into the paired fault detection and fault correction models. The second work incorporates fault dependency, while the third adopts a Markov approach for studying fault detection and correction processes. The fourth work considers the multi-release property of various software, and models fault detection and correction processes. The last work classifies faults into four types and models the fault-detection and correction processes. Enabling readers to familiarize themselves with how software reliability can be modeled when different factors need to be considered, and how the approaches can be used to analyze other systems, the book is important reference guide for researchers in the field of software reliability engineering and practitioners working on software projects. To gain the most from the book, readers should have a firm grasp of the fundamentals of the stochastic process. |
|
|
|
|
|
|
|
| |