About City
  1. Rector and President
  2. Schools and departments
  3. Governance and leadership
  4. Education
  5. Working at City
  6. History of City
  7. More about City
  8. Campus map
  1. Mathematics, Computer Science and Engineering
  2. Research
  3. Research Centre for Software Reliability
  4. Publications
About City


Bishop, P.G, Pullen, F.D., "A Random Walk through Software Reliability Theory", Mathematical Structures for Software Engineering, (de Neumann, B., Simpson, D., Slater, G., Eds.), pp. 83-112, Clarendon Press, Oxford, ISBN 0-19-853627-5, 1991.

Meulen, M.J.P. van der, "Analyse bedrijfszekerheid kan calamiteiten voorkomen", I2P, 1991.

Wright, D. R., "Comments on paper by Christodoulakis and Panziou", Information and Software Technology, (J. Weightman, Eds.), vol. 33(1), pp. 103-4, Butterworth-Heinemann, 1991.

Di Giandomenico F, Strigini L, "Implementations and extensions of the conversation concept", Conference Proceedings: 5-th GI/ITG/GMA International Conference on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment, vol. 283, pp. 42-53, Nurnberg, Germany, 1991.

Sutcliffe A.G. and Maiden N.A.M., "Interactive Tool Support for Specification Reuse by Analogy", 9th National Conference on Artificial Intelligence, pp. 104-114, 1991.

Conti M, Grandoni F, Gregori E, Lenzini L, Strigini L, "Interconnection of Dual Bus MANs: Architecture and Algorithms for Bandwidth Allocation", Internetworking: Research and Experience, vol. 2, pp. 1-22, London, 1991.

Jones. K, "LM3: A Larch interface language for Modula-3: A definition and introduction", Digital Equipment Corporation, Systems Research Center, 1991.

Meulen, M.J.P. van der, "Methoden voor onderhoud beschikbaar maar vaak ongebruikt", Polytechnisch Tijdschrift, pp. iA6-9, 1991.

Lindsay. P, Jones. C, Jones. K, Moore. R, "Mural: A Formal Development Support System", Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1991.

Meulen, M.J.P. van der, "Redundantie synoniem met overbodig?", Polytechnisch tijdschrift, pp. iA2-4, 1991.

Littlewood B, "Reliability", Chapter 11 of Software Metrics: A Rigorous Approach (N Fenton), Chapman and Hall, London, pp230-249, 1991.

Brocklehurst S., Kanoun K., Laprie J.C., Littlewood B., Metge S., Mellor P, Tanner A., "Reliability analyses of workstation failure data", Conference - Proc. ESPRIT'91, pp. 826-831, Brussels, 1991.

Dahll, G., Barnes M., Bishop, P.G., "Software Diversity: Way to enhance Safety?", Information and Software Technology, Vol. 32, no 10, 1991.

Littlewood B, "Software reliability modelling: achievements and limitations", (invited paper) Proc IEEE CompEuro91 (Bologna, May 13-16), IEEE Computer Society Press, 1991.