Search research publications and outputs

  1. 1994
  2. A DETAILED INVESTIGATION INTO THE EFFECTIVENESS OF EARCONS

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1994, AUDITORY DISPLAY. Kramer, G. (ed.). READING: ADDISON-WESLEY PUBL CO, p. 471-498 28 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. A DEVELOPMENT OF HAZARD ANALYSIS TO AID SOFTWARE-DESIGN

    McDermid, J. A. & Pumfrey, D. J., 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 17-25 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. A Development of Hazard Analysis to Aid Software Design

    McDermid, J. A. & Pumfrey, D. J., 1994.

    Research output: Contribution to conferencePaper

  5. A New File Access Paradigm for Extending a User's Information Base

    Fritz, J. M. & Benest, I. D., 1994, p. 51-60.

    Research output: Contribution to conferencePaper

  6. APPLICATION OF AN ASSOCIATIVE MEMORY TO THE ANALYSIS OF DOCUMENT FAX IMAGES

    Okeefe, S. E. M. & Austin, J., 1994, BMVC94 - PROCEEDINGS OF THE 5TH BRITISH MACHINE VISION CONFERENCE, VOLS 1 AND 2. Hancock, ER. (ed.). YORK: BRITISH MACHINE VISION CONF, p. 315-325 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. An Attributive Logic of Set Descriptions and Set Operations

    Manandhar, S., 1994, p. 255-262.

    Research output: Contribution to conferencePaper

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

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

  10. CAUSALITY AS A MEANS FOR THE EXPRESSION OF REQUIREMENTS FOR SAFETY-CRITICAL SYSTEMS

    Coombes, A., McDermid, J. & Morris, P., 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 223-231 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Causality as a Means for the Expression of Requirements for Safety Critical Systems

    Coombes, A. C. & McDermid, J. A., 1994.

    Research output: Contribution to conferencePaper

  12. Dependability Measurement of Safety Critical Systems

    Jackson, T. O., McDermid, J. A., Wand, I. C. & Wilikens, M., 1994.

    Research output: Working paper

  13. Enabling technology for users with special needs

    Edwards, A., Edwards, A. D. N. & Mynatt, E. D., 1994, Conference on Human Factors in Computing Systems, CHI 1994, Boston, Massachusetts, USA, April 24-28, 1994, Conference Companion. Plaisant, C. (ed.). ACM, p. 405-406 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Engineering & Assessing Safety-Critical Systems

    McDermid, J. A. & Moffett, J. D., 1994.

    Research output: Contribution to conferencePaper

  15. FEATURE TRACKING BY MULTI-FRAME RELAXATION

    SHARP, N. G. & HANCOCK, E. R., 1994, BMVC94 - PROCEEDINGS OF THE 5TH BRITISH MACHINE VISION CONFERENCE, VOLS 1 AND 2. YORK: BRITISH MACHINE VISION CONF, p. 407-417 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

  17. HLL Enhancement for Stack Based Processors

    Crispin-Bailey, C. & Sotudeh, R., 1994. 4 p.

    Research output: Contribution to conferencePaper

  18. High Integrity Software Development: Process and Tool Issues

    Hutcheon, A. D., Jepson, B. J., Jordan, D. T., McDermid, J. A. & Wand, I. C., 1994.

    Research output: Contribution to conferencePaper

  19. Interface modeling issues in providing access to GUIs for the visually impaired

    Edwards, A. D. N., Mynatt, E. D. & Thatcher, J., 1994, Proceedings of the ACM Conference on Assistive Technologies, ASSETS 1994, Marina Del Rey, California, USA, October 31 - November 3, 1994. ACM, p. 157 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Literate Formal Development of Ada from Z for Safety Critical Applications

    Jordan, D. T., Locke, C. J., McDermid, J. A., Parker, C., Sharpe, B. A. P. & Toyn, I., 1994.

    Research output: Contribution to conferencePaper

  21. Mathtalk: The Design of an Interface for Reading Algebra Using Speech

    Stevens, R. D. & Edwards, A. D. N., 1994, Computers for Handicapped Persons, 4th International Conference, ICCHP'94, Vienna, Austria, September 14-16, 1994, Proceedings. Zagler, W. L., Bushy, G. & Wagner, R. (eds.). Springer, Vol. 860. p. 313-320 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. NOISE MODELS FOR LINEAR FEATURE DETECTION IN SAR IMAGES

    EVANS, A. N., SHARP, N. G. & HANCOCK, E. R., 1994, ICIP-94 - PROCEEDINGS, VOL I. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 466-470 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Non-Interference Through Determinism

    Roscoe, A. W., Woodcock, J. & Wulf, L., 1994, Computer Security - ESORICS 94, Third European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994, Proceedings. Gollmann, D. (ed.). SPRINGER, Vol. 875. p. 33-53 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Policies for Safety Critical Systems: the Challenge of Formalisation

    Moffett, J. D. & McDermid, J. A., 1994.

    Research output: Contribution to conferencePaper

  25. Priority Union and Generalization in Discourse Grammars

    Grover, C., Brew, C., Manandhar, S. & Moens, M., 1994, p. 17-24.

    Research output: Contribution to conferencePaper

  26. Profiling parallel functional computations (without parallel machines)

    Runciman, C., Wakeling, D., O'Donnell, J. T. & Hammond, K., 1994, p. 236--251.

    Research output: Contribution to conferencePaper

  27. RELATIONAL MATCHING BY DISCRETE RELAXATION

    WILSON, R. C., EVANS, A. N. & HANCOCK, E. R., 1994, BMVC94 - PROCEEDINGS OF THE 5TH BRITISH MACHINE VISION CONFERENCE, VOLS 1 AND 2. YORK: BRITISH MACHINE VISION CONF, p. 43-53 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Re-use of Engine Control Technology

    Hill, J. V., McDermid, J. A., Rimmer, R. & Whittle, B. R., 1994.

    Research output: Contribution to conferencePaper

  29. Requirements Analysis: Orthodoxy, Fundamentalism and Heresy

    McDermid, J. A., Bickerton, M. & Jarotcka, M., 1994.

    Research output: Contribution to conferenceOther

  30. Requirements and Traceability

    Coombes, A. C., McDermid, J. A. & Morris, P., 1994.

    Research output: Contribution to conferencePaper

  31. Safety Critical Systems in Aerospace

    McDermid, J. A., 1994.

    Research output: Contribution to conferencePaper

  32. Safety Engineering and Assurance for Real-Time Systems

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

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  33. Software Quality Assurance Using the SAZ Method

    Polack, F. & Mander, K., 1994, p. 230-249.

    Research output: Contribution to conferencePaper

  34. Teaching Reuse in a Supportive Life-Cycle

    Burd, E. L., McDermid, J. A. & Whittle, B. R., 1994.

    Research output: Contribution to conferencePaper

  35. Teaching Reuse through a supportive life-cycle

    Burd, E. L., McDermid, J. A., Whittle, B. R., O'Callaghan, A. & Leigh, M., 1994.

    Research output: Contribution to conferencePaper

  36. The Development of Reusable Engine Control Technology for Application in Future Engines

    Hill, J. V., McDermid, J. A., Rimmer, R. & Whittle, B. R., 1994.

    Research output: Contribution to conferencePaper

  37. The Formal Specification in Z of Defence Standard 00-56

    Woodcock, J., Gardiner, P. H. B. & Hulance, J. R., 1994, Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings. Bowen, J. P. & Hall, J. A. (eds.). Springer/BCS, p. 9-28 20 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. The Formal Specification in Z of Defence Standard 00-56

    Woodcock, J., Gardiner, P. H. B. & Hulance, J. R., 1994, p. 9-28.

    Research output: Contribution to conferencePaper

  39. The design and evaluation of an auditory-enhanced scrollbar

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1994, HUMAN FACTORS IN COMPUTING SYSTEMS, CHI '94 CONFERENCE PROCEEDINGS - CELEBRATING INTERDEPENDENCE. Adelson, B., Dumais, S. & Olson, J. (eds.). NEW YORK: ASSOC COMPUTING MACHINERY, p. 173-179 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. The effects of local variable optimisation in A C-based stack processor environment

    Crispin-Bailey, C., Sotudeh, R. & Ould-Khaoua, M., 1994. 6 p.

    Research output: Contribution to conferencePaper

  41. Tool Support for High Integrity Ada Software

    Hutcheon, A. D., Jordan, D. T., McDermid, J. A., Pierce, R. H., Wand, I. C., Jepson, B. J. & Toussaint, M., 1994, p. 63-75.

    Research output: Contribution to conferencePaper

  42. Towards Integrated Safety Analysis and Design

    Fenelon, P., McDermid, J. A., Nicholson, M. & Pumfrey, D. J., 1994

    Article in ACM Computing Reviews

  43. Towards a Z Method: Axiomatic Specification in Z

    Hall, J. G. & McDermid, J. A., 1994, p. 213-229.

    Research output: Contribution to conferencePaper

  44. Training Blind People in the Use of Graphical User Interfaces

    Weber, G., Petrie, H., Kochanek, D. & Morley, S., 1994, p. 25-31.

    Research output: Contribution to conferencePaper

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

  46. Appropriate mechanisms for the support of optional processing in hard real-time systems

    Audsley, N. C., Davis, R. I., Burns, A. & Wellings, A. J., May 1994, IEEE Workshop on Real-Time Operating Systems and Software. p. 23-27

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. Integrating Best Effort And Fixed Priority Scheduling

    Audsley, N. C., Burns, A., Davis, R. I. & Wellings, A. J., Jun 1994, IFIP Workshop on Real-Time Programming.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. ADSORPTION STUDIES OF DIFFERENT END-FUNCTIONALIZED LINEAR POLY(DIMETHYLSILOXANE)

    Patel, A., Cosgrove, T., Semlyen, J. A., Webster, J. R. P. & Scheutjens, J. M. H. M., 28 Jul 1994

    Article in Colloids and surfaces a-Physicochemical and engineering aspects

  49. Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems

    Audsley, N. C., Davis, R. I. & Burns, A., Dec 1994, IEEE Real-Time Systems Symposium. p. 12-21 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution