School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Placements and internships
  6. Our London location
  1. Publications
School of Mathematics, Computer Science & Engineering


Jones. K, "A semantics for a larch/modula-3 interface language", Proceedings of the First International Workshop on Larch, 1993.

Bondavalli, A., Stankovic J, Strigini L., "Adaptable Fault Tolerance for Real-Time Systems", Conference Proc.- 3rd International Workshop on Responsive Computer Systems, pp. 123-132, Kluwer Academic Publishers (1994), Lincoln, New Hampshi, 1993.

Neil, M.D. and Lano K., "Approaches to Maintenance Process Improvement via Measurement", European Conference on SM, The CSM, Durham Univ, 1993.

Brocklehurst S, Littlewood B, Lu M, "Combinations of predictions obtained from different software reliability growth models", Journal of Computer and Software Engineering, vol1, no4, pp303-324, 1993.

Neil, M.D. & Bache, R.M., "Data Linkage Maps", Journal of SM, vol. 5 (3), London, 1993.

Boer, J. de, Meulen, M.J.P. van der, "Evaluatie van praktijkervaringen met toerenregeling", Seminar Winst met Vermogenselektronica, (Laven, F.J.H., Eds.), 1993.

Guttag. J, Horning. J, Garland. S, Jones. K, Modet. A, Wing. J, "Larch: languages and tools for formal specification", Springer-Verlag New York, Inc., New York, NY, USA, 1993.

Meulen, M.J.P. van der, Stålhane, T., Cole, B., "Programmable Electronic System Analysis Technique in Safety Critical Applications", Safecomp '93, Poznan, 1993.

Stålhane, T., Meulen, M.J.P. van der, Cole, B., "Reliability Assessment for Programmable Electronic Systems using Subjective and Objective Categorical Data", PCPI Proceedings, pp. 101-8, D�sseldorf, 1993.

Woherem, E.E., Neil M.D., Estdale, J.F., "Software Process Improvement through the GQM Approach: A Maintenance Case Study", 3rd International Conference on SQ, Lake Tahoe, Nevada,, 1993.

Bishop, P.G., Bruns, G., Anderson, S.O., "Stepwise Development and Verification of a Boiler System Specification", International Workshop on the Design and Review of Software Controlled Safety-related Systems, June 28-29, National Research Council, Ottawa, Canada, 1993.

Littlewood B, "The need for evidence from disparate sources to evaluate software safety", Directions in Safety-Critical Computing (Proc Safety-Critical Systems Symposium, Bristol, Feb 1993), pp217-231, 1993.

Bishop, P.G., "The Variation of Software Survival Times for Different Operational Input Profiles", Fault Tolerant Computing Symposium (FTCS-23), Toulouse, June 22-24, pp. 98-109, IEEE Computer Society Press, ISBN 0-8186-3680-7, 1993.

Littlewood B, Brocklehurst S , Fenton N , Mellor P , Page S , Wright D , Dobson J , McDermid J , and Gollmann D, "Towards operational measures of computer security", Journal of Computer Security, vol. 2(3), pp. 211-229, 1993. [abstract] [more information]

Littlewood B, Strigini L., "Validation of Ultra-High Dependability for Software-based Systems", Communications of the ACM, vol. 36(11), pp. 69-80, London, 1993. [more information]