Search research publications and outputs

  1. 1984
  2. Life Cycle Support in the Ada Environment

    McDermid, J. A. & Ripken, K., 1984, Cambridge University Press. 259 p.

    Research output: Book/ReportBook

  3. 1985
  4. Integrated Project Support Environments

    McDermid, J. A., 1985, Peter Peregrinus Limited.

    Research output: Book/ReportBook

  5. 1989
  6. 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

  7. 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

  8. Software Design Methods: Characteristics and Choice

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

    Research output: Book/ReportBook

  9. 1990
  10. Neural Computing: An Introduction

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

    Research output: Book/ReportBook

  11. 1991
  12. Architectural Design

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

    Research output: Book/ReportBook

  13. Interpretations of Probability, Nonstandard Analysis and Confirmation Theory

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

    Research output: Book/ReportCommissioned report

  14. 1992
  15. 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

  16. Education and Training for Safety-Critical Systems Practitoners

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

    Research output: Book/ReportBook

  17. Software Engineer's Reference Book

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

    Research output: Book/ReportBook

  18. 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

  19. 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

  20. 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

  21. 1993
  22. 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

  23. High integrity compilation - a case study

    Stepney, S., 1993, Prentice Hall.

    Research output: Book/ReportBook

  24. 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

  25. 1994
  26. 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

  27. 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

  28. 1995
  29. Applications of functional programming

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

    Research output: Book/ReportBook

  30. Z in practice

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

    Research output: Book/ReportBook

  31. \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

  32. μKernel service for dynamic load balancing

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

    Research output: Book/ReportBook

  33. 1996
Previous 1 2 3 4 5 6 Next