## Proceedings of the International School of Physics "Enrico Fermi". |

### From inside the book

Results 1-3 of 18

Page 322

It considers the nature of the input domain and is a hierarchical approach,

proceeding from lower-level

number of test cases manageable. Section 1 defines software reliability, error

size and ...

It considers the nature of the input domain and is a hierarchical approach,

proceeding from lower-level

**modules**to the higher-level**modules**. This keeps thenumber of test cases manageable. Section 1 defines software reliability, error

size and ...

Page 334

Data abstraction

implement some mathematical objects, such as lists, queues, sets, etc. These

objects have states which can be inspected by using a set of value-returning or ...

Data abstraction

**modules**. These**modules**provide a collection of functions whichimplement some mathematical objects, such as lists, queues, sets, etc. These

objects have states which can be inspected by using a set of value-returning or ...

Page 335

hierarchy where they implement the program's requirement specification by

making use of the lower-level

represented by using translation grammar notations. If the translation grammar is

correct, then ...

hierarchy where they implement the program's requirement specification by

making use of the lower-level

**modules**. Their design structure can berepresented by using translation grammar notations. If the translation grammar is

correct, then ...

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

System Eeliabujty | 3 |

Statistical Theory of Eeliablitt | 8 |

Definitions and characterizations | 12 |

Copyright | |

39 other sections not shown

### Other editions - View all

### Common terms and phrases

algorithm approach associated assume assumption Bayesian boundary points chain coherent system complex conjugate prior consider correctness defined denote detected discussed edited equations equivalence class ergodic errors example exponential distribution failure rate Fault Tree Analysis function gamma given human reliability IEEE Trans IFEA implementation increasing independent input domain integration interval likelihood Markov Markov chain matrix mean method modules monotone month2 N. D. Singpurwalla number of failures number of system NUMITEMS observed obtained operational output parameters phase Poisson Poisson process possible predictive prior distribution probability problem procedure Proschan R. E. Barlow random variables reliability growth models reliability theory renewal theory repair requirements sample sect sequence Software Eng software reliability software reliability models specification Stat statistical stochastic stochastic process subsection system failure system reliability techniques theorem tion tt tt values vector zero