Bev Littlewood, J. L. Verrall
A Bayesian reliability growth model is presented which includes special features designed to reproduce special properties of the growth in reliability of an item of computer software (program). The model treats the situation where the program is sufficiently complete to work for continuous time peri...
Bev Littlewood
An examination of the assumptions used in early bug-counting models of software reliability shows them to be deficient. Suggestions are made to improve modeling assumptions and examples are given of mathematical implementations. Model verification via real-life data is discussed and minimum requirem...
Bev Littlewood, J. L. Verrall
The situation where dimer formation and splitting is possible in irradiated RNA molecules is considered. The equilibrium distribution of dimers ( i.e. the distribution after a long time) is obtained, in particular the average number of dimmers as a function of molecule length and reaction rates. The...
Bev Littlewood, J. L. Verrall
The reaction kinetics of irradiated RNA molecules is analysed for the cases when dimer formation (not splitting) and hydration of uracil residues take place. After a sufficient time has elapsed, such molecules consist entirely of dimers and hydrated sites, at which time it is of interest to know the...