University of Hertfordshire

Publications

  1. 1994
  2. The role of graphical representations in early design and requirements specification

    Sapsford-Francis, J. & Jones, S., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 196)

    Research output: Book/ReportOther report

  3. To whom am I speaking? Remote booting in a hostile world

    Lomas, M. & Christianson, B., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 178)

    Research output: Book/ReportOther report

  4. Towards usability guidelines for multimedia systems

    Bearne, M., Jones, S. & Sapsford-Francis, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 186)

    Research output: Book/ReportOther report

  5. User and designer centred issues in the development of a multimedia exhibition guide

    Sapsford-Francis, J., Hewitt, J., Halford, P. & Waring, N., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 183)

    Research output: Book/ReportOther report

  6. Using a resource limited instruction scheduler to evaluate the iHARP processor

    Steven, F. L., Steven, G. B. & Wang, L., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 198)

    Research output: Book/ReportOther report

  7. Using conditional execution to exploit instruction level concurrency

    Gray, S. M. & Adams, R. G., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 181)

    Research output: Book/ReportOther report

  8. Using testing semantics to show safety and liveness in the development of CCS specifications

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

    Research output: Book/ReportOther report

  9. Validating knowledge models across multinational boundaries

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

    Research output: Book/ReportOther report

  10. 1993
  11. An analysis of automatic differentiation on the VAX

    Abbott, S., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 159)

    Research output: Book/ReportOther report

  12. An evaluation of the HARP ORed indexing addressing mechanism

    Steven, F. L., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 156)

    Research output: Book/ReportOther report

  13. An evaluation of the architectural features of the iHARP processor

    Steven, F. L., Steven, G. B. & Wang, L., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 170)

    Research output: Book/ReportOther report

  14. Applying techniques from foreign language teaching to computer science

    Derrick, A., Britton, C. & Sapsford-Francis, J., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 164)

    Research output: Book/ReportOther report

  15. Coding or comprehension? The essence of software system design

    Loomes, M., Britton, C. & Taylor, P. N., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 162)

    Research output: Book/ReportOther report

  16. Cognitive and organisational aspects of design

    Loomes, M., Ridley, D. & Kornbrot, D., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 171)

    Research output: Book/ReportOther report

  17. Computer science and problem solving: encouraging self-directed learning with large classes

    Sapsford-Francis, J., Britton, C. & Brown, J., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 168)

    Research output: Book/ReportOther report

  18. Developing a simulator for the Hatfield Superscalar processor

    Collins, R., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 172)

    Research output: Book/ReportOther report

  19. Education for flexibility: transferable skills, problem solving and information management

    Sapsford-Francis, J. & Britton, C., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 166)

    Research output: Book/ReportOther report

  20. Elman's model of natural language acquisition

    Lyon, C., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 158)

    Research output: Book/ReportOther report

  21. Human factors design of a multimedia system: the Libtech International '93 Exhibition Guide

    Sapsford-Francis, J., Hewitt, J., Halford, P. & Waring, N., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 167)

    Research output: Book/ReportOther report

  22. Modelling real time systems functional requirements using existing data flow methods

    Fensome, D. A., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 160)

    Research output: Book/ReportOther report

  23. Modelling superscalar pipelines with finite state machines

    Steven, G. B. & Vintan, L., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 246)

    Research output: Book/ReportOther report

  24. Positive fixed points of lattices under semigroups of positive linear operators

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

    Research output: Book/ReportOther report

  25. Self defence in open systems using self authenticating proxies

    Low, M. R., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 161)

    Research output: Book/ReportOther report

  26. Sequential animation of a structured analysis required logical model of a vending machine controller

    Fensome, D. A., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 169)

    Research output: Book/ReportOther report

  27. The object modeling technique

    Levine, D. & Britton, C., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 165)

    Research output: Book/ReportOther report

  28. The use of metrics in connectionist psychological models

    Lyon, C. & Davey, N., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 157)

    Research output: Book/ReportOther report

  29. Use of multimedia in a public information system

    Hewitt, J., Sapsford-Francis, J. & Halford, P., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 155)

    Research output: Book/ReportOther report

  30. 1992
  31. A comparison of development methods used in traditional engineering and software engineering

    Mayes, A., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 147)

    Research output: Book/ReportOther report

  32. A program for animating CCS specifications

    Stobo, J. R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 145)

    Research output: Book/ReportOther report

  33. A survey of the current state of reuse in a software environment

    Mayes, A., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 146)

    Research output: Book/ReportOther report

  34. An investigation of types leading to an examination of some aspects of F-bounded interfaces and the type classes of Haskell

    Buchanan, K. M. & Dickerson, R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 154)

    Research output: Book/ReportOther report

  35. Are there any parallels between object-oriented system development and other branches of engineering?

    Mayes, A. & Britton, C., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 139)

    Research output: Book/ReportOther report

  36. CCS and object-oriented concepts

    Buchanan, M. & Dickerson, R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 140)

    Research output: Book/ReportOther report

  37. Do we still need the system life cycle?

    Britton, C., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 135)

    Research output: Book/ReportOther report

  38. Eiffel, the universe and everything. (somethings anyway)

    Mayes, A. & Barrett, R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 138)

    Research output: Book/ReportOther report

  39. Experience of using Coad and Yourdon object-oriented analysis and design

    Mayes, A. & Barrett, R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 148)

    Research output: Book/ReportOther report

  40. Fine grained object protection in UNIX

    Low, M. R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 130)

    Research output: Book/ReportOther report

  41. Minimal kernels and security

    Low, M. R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 143)

    Research output: Book/ReportOther report

  42. Neural nets for a language processing task: tag disambiguation

    Lyon, C., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 123)

    Research output: Book/ReportOther report

  43. Prototyping real time engineering systems using Hatley & Pirbhai's requirement model

    Fensome, D. A., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 131)

    Research output: Book/ReportOther report

  44. Security system case study

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

    Research output: Book/ReportOther report

  45. Static instruction scheduling for the HARP multiple-instruction-issue architecture

    Gray, S. M., Adams, R. G., Green, G. J. & Steven, G. B., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 142)

    Research output: Book/ReportOther report

  46. Testing should help to insert new bugs or how to modify programs predictably?

    Christianson, B. & Barrett, R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 144)

    Research output: Book/ReportOther report

  47. The Notary

    Low, M. R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 153)

    Research output: Book/ReportOther report

  48. The responsibility driven object-oriented design method advocated by Wirfs-Brock, Wilkerson and Weiner

    Mayes, A., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 149)

    Research output: Book/ReportOther report

  49. Towards a satisfaction relation between CCS specifications and their refinements

    Baillie, E. J., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 152)

    Research output: Book/ReportOther report

  50. Towards secure, optimistic, distributed, open systems

    Snook, J. F., 1992, University of Hertfordshire. 139 p. (Computer Science Technical Report; no. 151)

    Research output: Book/ReportOther report

  51. Why is software development so difficult to manage?

    Barrett, R. & Christianson, B., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 137)

    Research output: Book/ReportOther report

  52. 1991
  53. A system for reducing imprecision in speech interfaces to generalised text input devices

    Monaghan, J. & Cheepen, C., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 119)

    Research output: Book/ReportOther report

  54. An object oriented design of a speech driven user interface management system

    Frank, R. & Hewitt, J., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 173)

    Research output: Book/ReportOther report