University of Hertfordshire

Publications

  1. 1991
  2. Concurrent CCS - an introduction

    Smith, D., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 126)

    Research output: Book/ReportOther report

  3. Formal specification and object-oriented design

    Buchanan, M. & Britton, C., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 134)

    Research output: Book/ReportOther report

  4. Modelling techniques for object-oriented design

    Britton, C. & Buchanan, M., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 133)

    Research output: Book/ReportOther report

  5. Vertical Z

    Loomes, M. & Britton, C., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 132)

    Research output: Book/ReportOther report

  6. 1990
  7. A CCS case study: a safety-critical system

    Baillie, J., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 103)

    Research output: Book/ReportOther report

  8. Address and data register separation of the M68000 family

    Williams, F. L. & Steven, G. B., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 102)

    Research output: Book/ReportOther report

  9. An application of task analysis to the development of a generic office reference model

    Hewitt, J., Hobson, J. & Sapsford-Francis, J., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 111)

    Research output: Book/ReportOther report

  10. An assessment of the contribution of speech interfaces to open access education

    Hewitt, J. & Cheepen, C., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 114)

    Research output: Book/ReportOther report

  11. An investigation into the use of error recovery dialogues in a user interface management system for speech recognition

    Zajicek, M. & Hewitt, J., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 108)

    Research output: Book/ReportOther report

  12. Audio technology in IT education for the blind

    Hewitt, J., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 109)

    Research output: Book/ReportOther report

  13. Integer division by small constants

    Steven, G. B., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 113)

    Research output: Book/ReportOther report

  14. Knowledge-based systems in network management

    Wooding, T. & Malcolm, J., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 106)

    Research output: Book/ReportOther report

  15. Optimizing real-time transport protocols

    Christianson, B., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 115)

    Research output: Book/ReportOther report

  16. The design of a user interface management system which provides speech input for text processing

    Hewitt, J. & Furner, S., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 110)

    Research output: Book/ReportOther report

  17. The odd couple or formal notations and the development of information systems

    Britton, C. & Omer, K., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 100)

    Research output: Book/ReportOther report

  18. User application simulation in the evolution of an intelligent speech interface

    Cheepen, C., Hewitt, J., Hunter, C. & Monaghan, J., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 112)

    Research output: Book/ReportOther report

Previous 1...7 8 9 10 11 Next