## Proceedings of the International School of Physics "Enrico Fermi", Volume 94 |

### 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

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

error size ...

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

proceeding from lower - level

**modules**to the higher - level**modules**. This keepsthe number of test cases manageable . Section 1 defines software reliability ,

error size ...

Page 334

Data abstraction

which 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 ...

Data abstraction

**modules**. These**modules**provide a collection of functionswhich 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 ...

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 ...

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 ...

### What people are saying - Write a review

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

### Contents

STATISTICAL THEORY OF RELIABLITY | 8 |

Definitions and characterizations | 12 |

J KEILSON Stochastic models in reliability theory | 23 |

Copyright | |

37 other sections not shown

### Common terms and phrases

analysis application approach associated assume assumption BARLOW Bayesian calculation called complex components consider constant continuous correctness Course defined density depends derived described detected determine discussed distribution edited epochs equations equivalence ergodic errors estimate example exists expected exponential fact fail failure rate fault function given Hence important increasing independent input integration interest interval known likelihood limit Markov matrix mean measure method modules normal Note observed obtain occur operational parameters performance phase positive possible posterior predictive prior probability problem procedure prove random variables renewal repair requirements rule sample selected sequence simple software reliability space specification statistical stochastic structure Suppose task theorem theory tion transition tree University values York