Search research publications and outputs

  1. 1999
  2. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

    Wing, J. M. (ed.), Woodcock, J. (ed.) & Davies, J. (ed.), 1999, Springer. (Lecture Notes in Computer Science; vol. 1709)

    Research output: Book/ReportBook

  3. 1997
  4. Four methods for maintenance scheduling

    Smith, A., Clark, J. A. & Burke, EK., 1997, Citeseer.

    Research output: Book/ReportBook

  5. 1996
  6. 1995
  7. μKernel service for dynamic load balancing

    Grigoras, D. & Calinescu, R., 1 Dec 1995, Amsterdam, Netherlands: IOS Press. 11 p.

    Research output: Book/ReportBook

  8. Applications of functional programming

    Runciman, C. (ed.) & Wakeling, D. (ed.), 1995, UCL Press.

    Research output: Book/ReportBook

  9. Z in practice

    Barden, R., Stepney, S. & Cooper, D., 1995, Prentice Hall. (BCS practitioner series)

    Research output: Book/ReportBook

  10. \Isetl-sc \Linda: Parallel Programming with Bags

    Douglas, A., Wood, A. & Rowstron, A., 1995, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1995-257)

    Research output: Book/ReportOther report

  11. 1994
  12. Analysing Systems: determining requirements for object-oriented development

    MacLean, R., Stepney, S., Smith, S., Tordoff, N., Gradwell, D., Hoverd, T. & Katz, S., 1994, Prentice Hall.

    Research output: Book/ReportBook

  13. Analysis of Dependable Computing Systems

    Nicholson, M. & McDermid, J. A., 1994, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1994-245)

    Research output: Book/ReportOther report

  14. 1993
  15. FME '93 - Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings

    Woodcock, J. (ed.) & Larsen, P. G. (ed.), 1993, Springer. (Lecture Notes in Computer Science; vol. 670)

    Research output: Book/ReportBook

  16. High integrity compilation - a case study

    Stepney, S., 1993, Prentice Hall.

    Research output: Book/ReportBook

  17. Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings

    Bird, R. S. (ed.), Morgan, C. (ed.) & Woodcock, J. (ed.), 1993, Springer. (Lecture Notes in Computer Science; vol. 669)

    Research output: Book/ReportBook

  18. 1992
  19. Incremental Type Checking in Z

    Vasconcelos, A. M. L. D. & McDermid, J. A., 1 Dec 1992, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1992-185)

    Research output: Book/ReportOther report

  20. An Evaluation of the Ten15 Persistent Store

    Blanchard, T. D. & McDermid, J. A., 1992, Department of Computer Science, University of York. (York Computer Science Technical Report Series ("Yellow Reports"); no. YCS-1992-187)

    Research output: Book/ReportOther report

  21. Education and Training for Safety-Critical Systems Practitoners

    McDermid, J. A. & Wichmann, B. A. (ed.), 1992, John Wiley & Sons.

    Research output: Book/ReportBook

  22. Software Engineer's Reference Book

    McDermid, J. A., 1992, 1 ed. Oxford: Butterworth Heinemann.

    Research output: Book/ReportBook

  23. Software Engineering Environments: Automated Support for Software Engineering

    Brown, A. W., Earl, A. N. & McDermid, J. A., 1992, London: McGraw-Hill Book Company.

    Research output: Book/ReportBook

  24. The Probe Project

    Blanchard, T. D. & McDermid, J. A., 1992, The Department of Computer Science, University of York. (York Computer Science Technical Report Series ("Yellow Reports"); no. YCS-1992-167)

    Research output: Book/ReportOther report

  25. 1991
  26. Architectural Design

    Buxton, J. N., McDermid, J. A. & McDermid, J. A. (ed.), 1991, Oxford: Butterworth Heinemann.

    Research output: Book/ReportBook

  27. Interpretations of Probability, Nonstandard Analysis and Confirmation Theory

    Cussens, J., 1991, King's College, London.

    Research output: Book/ReportCommissioned report

  28. 1990
  29. Neural Computing: An Introduction

    Jackson, T. & Beale, R., 1990, Bristol: Adam Hilger. 240 p.

    Research output: Book/ReportBook

  30. 1989
  31. ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings

    Ghezzi, C. (ed.) & McDermid, J. A. (ed.), 1989, Springer. (Lecture Notes in Computer science; vol. 387)

    Research output: Book/ReportBook

  32. ESEC'89 — Proceedings of the Second European Conference on Software Engineering

    Ghezzi, C. & McDermid, J. A., 1989, Springer-verlag. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  33. Software Design Methods: Characteristics and Choice

    McDermid, J. A. & Davies, A. C. (ed.), 1989, Butterworth Scientific.

    Research output: Book/ReportBook