Items where Year is 1996

B

Bertolino, A. & Strigini, L. (1996). On the use of testability measures for dependability assessment. IEEE Transactions on Software Engineering, 22(2), 97 - 108. doi: 10.1109/32.485220

C

Chadburn, R. G. (1996). Use of parametric risk measure in assessing risk based capital and insolvency constraints for with profits life insurance (Report No. Actuarial Research Paper No. 83). London, UK: Faculty of Actuarial Science & Insurance, City University London.

D

Daniels, P.G. & Weinstein, M. (1996). On finite-amplitude patterns of convection in a rectangular-planform container. Journal of Fluid Mechanics, 317, 111 - 127.

F

Fring, A. (1996). Braid Relations in Affine Toda Field Theory. International Journal of Modern Physics A (ijmpa), 11, pp. 1337-1352.

Fring, A., Kostrykin, V. & Schrader, R. (1996). On the absence of bound-state stabilization through short ultra-intense fields. Journal of Physics B: Atomic, Molecular and Optical Physics, 29, p. 5651. doi: 10.1088/0953-4075/29/23/011

H

Haberman, S. (1996). Landmarks in the history of actuarial science (up to 1919) (Report No. Actuarial Research Paper No. 84). London, UK: Faculty of Actuarial Science & Insurance, City University London.

K

Khorasanee, M. Z. (1996). Annuity choices for pensioners (Report No. Actuarial Research Paper No. 90). London, UK: Faculty of Actuarial Science & Insurance, City University London.

L

Littlewood, B. (1996). Evaluation of software dependability. In: I. C. Wand & R. Milner (Eds.), Computing Tomorrow: Future Research Directions in Computer Science. (pp. pp. 198-216). New York, USA: Cambridge University Press. ISBN 9780521460859

Littlewood, B. (1996). The impact of diversity upon common mode failures. Reliability Engineering & System Safety, 51(1), 101 - 113. doi: 10.1016/0951-8320(95)00120-4

Littlewood, B. & Wright, D. (1996). Reliability prediction of a software product using testing data from other products or execution environment (Report No. 10). Brussels: DeVa Project.

Littlewood, B. & Wright, D. (1996). Some conservative stopping rules for the operational testing of saftey-critical software (Report No. 33). Brussels: DeVa ESPRIT Long Term Research Project.

S

Strigini, L. & Bertolino, A. (1996). Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. In: Lecture notes in computer science. (pp. 83 - 94). Springer.

Strigini, L. & Fenton, N. (1996). Rigorously assessing software reliability and safety. European Space Agency, (Special Publication) ESA SP(377), 193 - 198. ISSN 0379-6566

V

Verral, R. J. (1996). A unified framework for graduation (Report No. Actuarial Research Paper No. 91). London, UK: Faculty of Actuarial Science & Insurance, City University London.