Search research publications and outputs

  1. 1988
  2. Intermediate-level Vision, Relations and Processor Arrays: An Application of sc \Clip4 to Image Sequence Analysis

    Wood, A. M. & Page, I. (ed.), 1988, Parallel Architectures and Computer Vision. Oxford University Press, p. 157-170 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. 1990
  4. Integrated Project Support Environments: General Principles and Issues in the Development of High Integrity Systems

    McDermid, J. A. & Kitchenham, B. A. (ed.), 1990, Software engineering for large software systems. Elsevier Science, 57 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Integrated Project Support Environments and Software Engineering Toolsets

    McDermid, J. A., Jenkins, D. G. (ed.) & Welland, R. C. (ed.), 1990, Software engineering for electronic systems designers. I E E E, (IEE Computing Series; vol. 18).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Security Policies for Integrated Project Support Environments

    Hocking, E. S., McDermid, J. A., Landwehr, C. E. (ed.) & Spooner, D. (ed.), 1990, Database Security III: Status and Prospects. III ed. Monterey: IFIP/North Holland, p. 41-74 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Specifying Security Properties

    Jacob, J. L. & Hoare, C. A. R. (ed.), 1990, Developments in Concurrency and Communication. Reading, Mass, U. S. A.: http://www.aw.com/Addison Wesley, p. 221-237 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. 1991
  9. CADiZ - Computer Aided Design in Z

    Jordan, D. T., McDermid, J. A., Toyn, I. & Nicholls, J. E. (ed.), 1991, Z User Workshop, Oxford 1990. Springer-Verlag, p. 93-104 12 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Software Development Process Models

    McDermid, J. A., Rook, P. & McDermid, J. A. (ed.), 1991, Software Engineers' Reference Book. Oxford: Butterworth Heinemann

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. 1992
  12. The Structure of Permissions: A Normative Framework for Access Rights

    Morris, P., McDermid, J. A., Landwehr, C. (ed.) & Jajodia, S. (ed.), 1992, Database Security V: Status and Prospects. North Holland, p. 77-98 22 p. (IFIP Transactions A: Computer Science and Technology).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. 1993
  14. Formal Methods: Use and Relevance for the Development of Safety Critical Systems

    McDermid, J. A. & Bennett, P. A. (ed.), 1993, Safety Aspects of Computer Control. Oxford: Butterworth Heinemann, p. 96-153 58 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. HOOD

    Buxton, J. N., McDermid, J. A., Thayer, K. (ed.) & McGettrick, A. D. (ed.), 1993, Software Engineering: A European Perspective. IEEE Computer Society Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. Issues in the Development of Safety Critical Systems

    McDermid, J. A., Redmill, F. (ed.) & Anderson, T. (ed.), 1993, Safety Critical Systems. London: Chapman and Hall, p. 16-42 27 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  17. Risk Management

    Hood, G. C. & McDermid, J. A., 1993, Risk: Analysis, Perception and Management. Royal Society, Vol. London. p. 135-182 48 p. (Report of a Royal Society Study Group ).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. 1994
  19. Formal Methods for Real-Time Systems

    Barroca, L. M., McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Berlin: Springer-verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. What is the Right Specification, Design and Implementation Paradigm for Real-Time Applications?

    McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Springer-verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. 1995
  22. Formal Specification of an Aerospace System: the Attitude Monitor

    Barroca, LM., Coombes, A. C., Fitzgerald, J. C., McDermid, J. A., Saeed, A., Spencer, L., Hinchey, M. (ed.) & Bowen, J. (ed.), 1995, Applications of Formal Methods. Prentice Hall, p. 307-332 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Safety Arguments, Software and System Reliability

    McDermid, J. A. & Pham, H. (ed.), 1995, Software Reliability and Testing. New York: IEEE Computer Society Press, p. 82-89 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Towards Operational Measures for Computer Security: Concepts

    Brocklehurst, S., Dobson, J. E., Fenton, N., Gollman, D., Littlewood, B., McDermid, J. A., Mellor, P., Page, S., Wright, D., Randell, B. (ed.), Laprie, J-C. (ed.), Kopetz, H. (ed.) & Littlewood, B. (ed.), 1995, Predictably Dependable Computing Systems. Springer-verlag, p. 537-553 17 p. (ESPRIT Basic Research Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Towards Operational Measures of Computer Security: Concepts

    Brocklehurst, S., Dobson, J. E., Fenton, N., Gollman, D., Littlewood, B., McDermid, J. A., Mellor, P., Page, S., Wright, D., Randell, B. (ed.), Laprie, J-C. (ed.), Kopetz, H. (ed.) & Littlewood, B. (ed.), 1995, Predictably Dependable Computing Systems. Springer-verlag, p. 537-553 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. sc \Linda Implementation Revisited

    Rowstron, A., Douglas, A. & Wood, A., 1995, Transputer and occam Developments. IOS Press, p. 125-138 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Integrating Unbounded Software Components into Hard Real-Time Systems

    Audsley, N. C., Burns, A., Davis, R. I. & Wellings, A. J., Jun 1995, Imprecise and Approximate Computation. Natarajan, S. (ed.). p. 63-86 (The Springer International Series in Engineering and Computer Science,; vol. 318).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  28. Real-Time System Scheduling

    Audsley, N. C., Burns, A., Davis, R., Tindell, K. W. & Wellings, A., Jun 1995, Predictably Dependable Computing Systems.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. 1996
  30. Engineering Safety Critical Systems

    McDermid, J. A., 1996, Computing Tomorrow : Future Research Directions in Computer Science. Wand, I. & Milner, R. (eds.). Cambridge: CUP, p. 217-245

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. 1997
  32. Measurement and Assurance

    McDermid, J. A., Redmill, F. (ed.) & Dale, C. (ed.), 1997, Life Cycle Management for Dependability. London: Springer-Verlag, p. 77-104 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  33. 1998
  34. An Assessment of Technologies for Multimedia Data streaming

    Crispin-Bailey, C., Maierhofer, M. & Sotudeh, R., 1998, Technologies for the Information Society: Developments and Opportunities. Stanford-Smith, B., Kidd, P. & Roger, J-Y. (eds.). IOS Press, p. 514-519 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  35. Jisys: Development of an artificial immune system for real world applications

    Hunt, J., Timmis, J., Cooke, D., Neal, M. & King, C., 1998, Artificial Immune Systems and their Applications. Springer, p. 157-186 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 3 4 Next