University of Hertfordshire

Publications

  1. Other report › Research
  2. Exploring Motivational Differences between Software--Developers and Project Managers

    Sharp, H., Hall, T., Baddoo, N. & Beecham, S., 2007, University of Hertfordshire. (UH Computer Science Technical Report; vol. 463)

    Research output: Book/ReportOther report

  3. Expressing a policy

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

    Research output: Book/ReportOther report

  4. File server architecture for an open distributed document system

    Christianson, B. & Hu, P., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 204)

    Research output: Book/ReportOther report

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

  6. Formal dialogue specification for hypertext and multimedia systems

    Jacob, L. & Jones, S., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 175)

    Research output: Book/ReportOther report

  7. Formal methods: no cure for faulty reasoning

    Loomes, M. & Vinter, R. J., 1996, University of Hertfordshire. (UH Computer Science Report; vol. 265)

    Research output: Book/ReportOther report

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

  9. Garden Cities - Why Not?

    Parham, S. & Boyfield, K., 14 Jul 2016, 1 ed. Letchworth: International Garden Cities Institute. 13 p. (Garden Cities Perspectives; vol. 1, no. 1)

    Research output: Book/ReportOther report

  10. HARP: a statically scheduled multiple-instruction-issue architecture and its compiler

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

    Research output: Book/ReportOther report

  11. Hades - towards the design of an asynchronous superscalar processor

    Elston, C. J., Christianson, B., Findlay, P. & Steven, G. B., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 218)

    Research output: Book/ReportOther report

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

  13. Identifying the requirements for a tool to support the adoption of SSM within business systems analysis and design

    Pascoulis, C., 1997, University of Hertfordshire. (UH Computer Science Technical Reports; vol. 277)

    Research output: Book/ReportOther report

  14. Implementing associations between objects

    Mayes, A., Dickerson, B. & Britton, C., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 205)

    Research output: Book/ReportOther report

  15. Implementing business process & information systems, reengineering in Sri-Lanka : identifying critical success factors

    Weerakkody, V., Bennett, J. & Tagg, C., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 313)

    Research output: Book/ReportOther report

  16. Increasing the usability of formal specification techniques through a combination of complementary formal languages and automated verification tools

    Taylor, P. N. & Britton, C., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 210)

    Research output: Book/ReportOther report

  17. Individual cognitive style and performance in a multimedia learning application

    Barker, T., Jones, S., Britton, C. & Messer, D. J., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 323)

    Research output: Book/ReportOther report

  18. Information theoretic incentives for social interaction

    Salge, C. & Polani, D., 2009, Hertfordshire: University of Hertfordshire. (UH Computer Science Technical Report; vol. 495)

    Research output: Book/ReportOther report

  19. Inheritance, subtyping and the is-a relationship (PhD Transfer Report)

    Buchanan, M., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 237)

    Research output: Book/ReportOther report

  20. Instruction scheduling for a superscalar architecture

    Collins, R. & Steven, G. B., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 248)

    Research output: Book/ReportOther report

  21. Integer division by small constants

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

    Research output: Book/ReportOther report

  22. Integrating formal and diagrammatic techniques in requirements capture and early system design

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

    Research output: Book/ReportOther report

  23. Investigating the limits of instruction level parallelism

    Potter, R., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 245)

    Research output: Book/ReportOther report

  24. Investigation into the effect of language on performance in a multimedia food studies application

    Barker, T., Jones, S. & Britton, C., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 324)

    Research output: Book/ReportOther report

  25. Investigation of self-organising dynamic neural tree networks

    Butchart, K., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 225)

    Research output: Book/ReportOther report

  26. Is your computing environment secure? Security problems with interrupt handling mechanisms

    Christianson, B. & Hu, P., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 222)

    Research output: Book/ReportOther report

  27. Key issues for successful exploitation of BP&ISR in Sri Lanka

    Weerakkody, J., Bennett, J. & Tagg, C., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 261)

    Research output: Book/ReportOther report

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

  29. Learning together through international collaboration in teacher education in Malaysia. Report of a project to develop a Bachelor of Education (Honours) in Primary Mathematics

    Dickerson, C., Binti Abdullah, A., Bowtell, J., Graham, S., Jarvis, J., Jarvis, S. M., Levy, R., Lui, L. N., Rawlings, B., Su, H. Y., Tan, B. M., Thomas, K. & Warren, V., 2011, University of Hertfordshire. 161 p.

    Research output: Book/ReportOther report

  30. MODEMA - a knowledge based browsing system to facilitate the employment of people with disabilities

    Hewitt, J., Sapsford-Francis, J., Bolstad, G., Eftedal, O., Halford, P., Vervenne, D. & Verheyen, M., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 192)

    Research output: Book/ReportOther report

  31. MODEMA - a multimedia public information system

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

    Research output: Book/ReportOther report

  32. Measuring human inferential complexity in formal specifications : a predictive model for the Z notation

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 304)

    Research output: Book/ReportOther report

  33. Merkle puzzles revisited - finding matching elements between lists

    Christianson, B. & Wheeler, D., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 336)

    Research output: Book/ReportOther report

  34. Minimal kernels and security

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

    Research output: Book/ReportOther report

  35. Modelling changes in organisations for a complex world

    Taylor, P. N. & De Maria, E., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 228)

    Research output: Book/ReportOther report

  36. Modelling protein interaction in CCS

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

    Research output: Book/ReportOther report

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

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

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

  40. Motivation in Software Engineering: A Systematic--Literature Review

    Beecham, S., Baddoo, N., Hall, T., Robinson, H. & Sharp, H., 2007, University of Hertfordshire. (UH Computer Science Technical Report; vol. 464)

    Research output: Book/ReportOther report

  41. Multicultural issues in the development of a Pan-European knowledge based system

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

    Research output: Book/ReportOther report

  42. Music Experience and Behaviour in Young People: Winter 2012-2013 [2011 National Survey]

    Collopy, D. P. & Bahanovich, D., 2012, Vienna: International Association of Music Business Research . 36 p. (http://musicbusinessresearch.wordpress.com)

    Research output: Book/ReportOther report

  43. Nested signature blocks

    Low, M. R. & Christianson, B., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 223)

    Research output: Book/ReportOther report

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

  45. Notations for modelling multimedia systems

    Britton, C., Jones, S., Myers, M. & Sharif, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 256)

    Research output: Book/ReportOther report

  46. On the representation of time in interaction

    Kutar, M., Britton, C. & Jones, S., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 326)

    Research output: Book/ReportOther report

  47. Optimizing real-time transport protocols

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

    Research output: Book/ReportOther report

  48. Overloading and polymorphism in the interpretation of inheritance in C++

    Buchanan, M., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 202)

    Research output: Book/ReportOther report

  49. Persuading developers to buy into software process improvement: an exploratory analysis

    Rainer, A., Hall, T. & Baddoo, N., 2002, University of Hertfordshire.

    Research output: Book/ReportOther report

  50. Placemaking for Cities: Pilot project on the transfer of good practice in community-led placemaking

    Schlappa, H., 12 May 2015, URBACT Secretariat, Paris. 34 p.

    Research output: Book/ReportOther report

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

  52. Potential for asynchronous microprocessor design

    Elston, C. J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 182)

    Research output: Book/ReportOther report

  53. Pre-Registration MSc Preliminary Report Oct 2015

    Young, K., Godbold, R. & Wood, P., 10 Dec 2015, (Unpublished) University of Hertfordshire.

    Research output: Book/ReportOther report

  54. Protocol for a Systematic Literature Review of Motivation in Software Engineering

    Beecham, S., Baddoo, N., Hall, T., Robinson, H. & Sharp, H., 2006, University of Hertfordshire.

    Research output: Book/ReportOther report

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

  56. Providing public access to information in complex and weakly structures domains: a 3-layered model for hypermedia information systems

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

    Research output: Book/ReportOther report

  57. Quantified reasoning in formal specification : transfer of everyday errors and biases?

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 299)

    Research output: Book/ReportOther report

  58. Reasoning about formal software specifications : an initial investigation

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 249)

    Research output: Book/ReportOther report

  59. Register bypassing in an asynchronous superscalar processor

    Davies, S. J., Elston, C. J. & Findlay, P., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 328)

    Research output: Book/ReportOther report

  60. Report of a pilot study of individually configurable multimedia learning prototypes in the development of a co-operative student model of learner characteristics

    Barker, T., Jones, S., Britton, C. & Messer, D. J., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 338)

    Research output: Book/ReportOther report

  61. Research Data Management Training for the whole project lifecycle in Physics & Astronomy research Final Report

    Goodger, J. & Worthington, W., Jun 2014, University of Hertfordshire. 21 p.

    Research output: Book/ReportOther report

  62. Research issues associated with process algebras and the object-orientated paradigm

    Taylor, P. N., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 281)

    Research output: Book/ReportOther report

  63. Researching Learners’ Journeys: STROLL: a JISC funded project (Student Reflections On Lifelong e-Learning)

    Jefferies, A., Bullen, P. & Hyde, R., 1 Mar 2009, University of Hertfordshire. 32 p.

    Research output: Book/ReportOther report

  64. Resilient process theory (RsPT)

    Taylor, P. N., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 282)

    Research output: Book/ReportOther report

  65. Roles and rights

    Low, M. R. & Christianson, B., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 232)

    Research output: Book/ReportOther report

  66. Second-order adjoints by source code manipulation of numerical programs

    Naumann, U., Maier, M., Riehme, J. & Christianson, B., 2007, RWTH Aachen. 17 p. (RWTH Aachen, Dept Comp Science, Technical report; no. AIB TR 2007-13)

    Research output: Book/ReportOther report

  67. Security system case study

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

    Research output: Book/ReportOther report

  68. Self authenticating proxies

    Low, M. R. & Christianson, B., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 201)

    Research output: Book/ReportOther report

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

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

  71. Service Oriented Toolkit for Research Data Management Final Report

    Worthington, W., Jun 2014, University of Hertfordshire. 20 p.

    Research output: Book/ReportOther report

  72. Seven lesser known myths of formal methods : uncovering the psychology of formal specification

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 250)

    Research output: Book/ReportOther report

  73. Shrink-wrapped optimism: the DODA approach to distributed document processing

    Christianson, B. & Snook, J. F., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 187)

    Research output: Book/ReportOther report

  74. Silver Surfers: Social Inclusion or Exclusion in a Digital World

    Choudrie, J. & Grey, S., 31 Aug 2008, Hatfield: University of Hertfordshire. 71 p.

    Research output: Book/ReportOther report

  75. Six curricular questions of Michael Gove

    Bage, G., Mar 2013, Cambridge Primary Review Website. 5 p.

    Research output: Book/ReportOther report

  76. Smoothing the transition from formal specification to object-oriented implementation

    Taylor, P. N. & Smith, D. E., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 213)

    Research output: Book/ReportOther report

  77. Snakes and their influence on visual processing

    Tabb, K. & George, S., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 309)

    Research output: Book/ReportOther report

  78. Speedy services : time, usability and E-Commerce

    Kutar, M., Britton, C. & Jones, S., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 337)

    Research output: Book/ReportOther report

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

  80. Structural invariance, structural definability and the Galois theory of elementarily invariant structures

    Broido, J., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 272)

    Research output: Book/ReportOther report

  81. Structural invariance, structural definability and the Galois theory of elementarily invariant structures

    Broido, J., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 234)

    Research output: Book/ReportOther report

  82. Sustainable living?

    Parham, S., Nov 2012, UH Centre for Sustainable Communities. 10 p.

    Research output: Book/ReportOther report

  83. Teaching client server computing to undergraduates and postgraduates

    Malcolm, J. & Hu, P., 1996, University of Hertfordshire. (UH Computer Science Technical Reports; vol. 239)

    Research output: Book/ReportOther report

  84. Teaching information systems at undergraduate level: a viewpoint

    Hinton, P., Jefferies, A. & Bennett, J., 1997, University of Hertfordshire. (UH Computer Science technical Reports; vol. 270)

    Research output: Book/ReportOther report

  85. Temporal logic and "reverse semantics"

    Broido, J., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 233)

    Research output: Book/ReportOther report

  86. Temporal requirements and the human computer interface : not just an afterthought

    Kutar, M., Britton, C. & Jones, S., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 334)

    Research output: Book/ReportOther report

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

  88. The DELPHI method as a consensus and knowledge acquisition tool for the evaluation of the DIABETES system for insulin administration

    Ambrosiadou, B. V. & Goulis, D. G., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 332)

    Research output: Book/ReportOther report

  89. The Motivation of Software Engineers: Developing a Rigorous and Usable Model

    Beecham, S., Hall, T., Baddoo, N., Robinson, H. & Sharp, H., 2007, University of Hertfordshire. 12 p. (Computer Science Technical Report; no. 458)

    Research output: Book/ReportOther report

  90. The Notary

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

    Research output: Book/ReportOther report

  91. The Oberon-2 language and environment

    Mayes, A. & Buchanan, M., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 190)

    Research output: Book/ReportOther report

  92. The Role of Autonomy and Interaction Type on Spatial Comfort in an HRI Scenario

    Syrdal, D. S., Walters, M. L., Koay, K. L. & Dautenhahn, K., 2008, University of Hertfordshire.

    Research output: Book/ReportOther report

  93. The analysis of formal models of communication for the specification of reusable systems (progress report)

    Taylor, P. N., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 229)

    Research output: Book/ReportOther report

  94. The creation of task-based differentiated learning materials for students with learning difficulties and/or disabilities

    Barker, T., Jones, S. & Britton, C., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 285)

    Research output: Book/ReportOther report

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

  96. The development and application of multimedia in learning: a survey of literature

    Barker, T., Jones, S., Britton, C. & Messer, D. J., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 297)

    Research output: Book/ReportOther report

  97. The evaluation of: Encarta 97. A multimedia learning package

    Al-hunaiyyan, A., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 296)

    Research output: Book/ReportOther report

  98. The fusion method: a second generation object-oriented software development method

    Diedrichsen, J., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 231)

    Research output: Book/ReportOther report

  99. The impact of a realistic cache structure on a high performance Superscalar architecture

    Tate, D., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 319)

    Research output: Book/ReportOther report

  100. The impact of multimedia tutorial on students' learning experience in the public authority for applied education and trainng, Kuwait

    Al-hunaiyyan, A., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 295)

    Research output: Book/ReportOther report