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

### From inside the book

Results 1-3 of 36

Page 290

These

system is « embedded » within a ...

in which the problem arose , functionality expected from the system and the ...

These

**requirements**may have been given by the end - user , or , if the softwaresystem is « embedded » within a ...

**Requirements**, therefore , include the contextin which the problem arose , functionality expected from the system and the ...

Page 308

what the system is supposed to do in order to meet its

distinction between

**Requirements**refer to the needs of the users . Specification is the description ofwhat the system is supposed to do in order to meet its

**requirements**. Thedistinction between

**requirement**and specification should be clearly understood .Page 309

Natural language , with a very high descriptive power , is often used to describe

the

of the system , it also suffers from inherent ambiguities , which can easily lead to ...

Natural language , with a very high descriptive power , is often used to describe

the

**requirements**of a system . Although natural language aids in understandingof the system , it also suffers from inherent ambiguities , which can easily lead to ...

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