University of Hertfordshire

Publications

  1. 2008
  2. 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

  3. Consulting pupils on the assessment of their learning

    Leitch, R., Gardner, J., Lundy, L., Clough, P., Odena, O., Mitchell, S. & Galanouli, D., 2008, Economic and Social Research Council (ESRC) Teaching and Learning Research Programme (TLRP). (TLRP research briefings; vol. 36)

    Research output: Book/ReportOther report

  4. Development of a programme to facilitate interprofessional simulation-based training for final year undergraduate healthcare students

    Alinier, G., Harwood, C., Harwood, P., Montague, S., Huish, E. & Ruparelia, K., 2008, Higher Education Academy / University of Hertfordshire. 43 p.

    Research output: Book/ReportOther report

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

  6. 2007
  7. Comparing Different Text Similarity Methods

    Bao, J., Lyon, C., Lane, P. C. R., Ji, W. & Malcolm, J., 2007, University of Hertfordshire. (UH Computer Science Technical Report; vol. 461)

    Research output: Book/ReportOther report

  8. Creating difference: overcoming barriers to diversity in UK film and television employment

    Randle, K. R., Kurian, J. & Leung, W. F., 2007, Creative Industries Research & Consultancy Unit, Business School, University of Hertfordshire.

    Research output: Book/ReportOther report

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

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

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

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

  13. Transforming Learning Through Online Storytelling: 'Making the News' Evaluation Report

    Klemera, E. & Brooks, F., 2007, University of Hertfordshire. 26 p.

    Research output: Book/ReportOther report

  14. 2006
  15. Copy detection in Chinese documents using the Ferret: a report on experiments

    Bao, J., Lyon, C., Lane, P. C. R., Ji, W. & Malcolm, J., 2006, University of Hertfordshire.

    Research output: Book/ReportOther report

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

  17. 2004
  18. A partial replication of Thelin et al. s Usage Based Reading experiment

    Rainer, A. & Pedersen, A., 2004, University of Hertfordshire.

    Research output: Book/ReportOther report

  19. 2003
  20. Children’s Attitudes to Sustainable Transport. Research Findings No.174/2003

    Davison, P., Davison, P., Reed, N., Halden, D. & Dillon, J., 15 Dec 2003, Scottish Executive. 140 p.

    Research output: Book/ReportOther report

  21. A secondary analyses of Bradac et al. s prototype process-monitoring experiment

    Rainer, A., 2003, University of Hertfordshire.

    Research output: Book/ReportOther report

  22. Assessing Requirements Process Strengths and Weaknesses: A first step to prioritising requirements process implementation

    Beecham, S., Hall, T. & Rainer, A., 2003, University of Hertfordshire. (UH Computer Science Technical Report; vol. 381)

    Research output: Book/ReportOther report

  23. Building a requirements process improvement model

    Beecham, S., Hall, T. & Rainer, A., 2003, University of Hertfordshire.

    Research output: Book/ReportOther report

  24. Experiments in Electronic Plagiarism Detection

    Lyon, C., Barrett, R. & Malcolm, J., 2003, University of Hertfordshire.

    Research output: Book/ReportOther report

  25. Understanding the impact of industrial context on software engineering research: some initial insights

    Rainer, A., 2003, University of Hertfordshire.

    Research output: Book/ReportOther report

  26. Waiting in software projects: an exploratory study

    Rainer, A., 2003, University of Hertfordshire.

    Research output: Book/ReportOther report

  27. 2002
  28. A Survey of Socially Interactive Robots: Concepts, Design and Applications

    Fong, T., Nourbakhsh, I. & Dautenhahn, K., 2002, Carnegie Mellon University, Pittsburgh, PA USA.

    Research output: Book/ReportOther report

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

  30. 2001
  31. Diseases of winter linseed: occurrence, effects and importance

    Perryman, S. A. M., Gladders, P., Barrow, A., Simons, B. & Fitt, B. D. L., 2001, HGCA. 80 p. (Project Report; no. OS50)

    Research output: Book/ReportOther report

  32. 1999
  33. Digital cash : electronic commerce over open networks

    Mankin, J. & Malcolm, J., 1999, University of Hertfordshire. (UH Computer Technical Report; vol. 325)

    Research output: Book/ReportOther report

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

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

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

  37. Modelling protein interaction in CCS

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

  44. The role of expectancies in the placebo effect and their use in the delivery of health care: a systematic review

    Crow, R., Gage, H., Hampson, S., Hart, J., Kimber, A. & Thomas, H., 1999, NCCHTA. 96 p. (Health Technology Assessment Review; vol. 3, no. 3)

    Research output: Book/ReportOther report

  45. The use of a student model in a multimedia application to configure learning

    Barker, T., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 339)

    Research output: Book/ReportOther report

  46. Time in specifications : what exactly are we trying to specify?

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

    Research output: Book/ReportOther report

  47. Trust requirements in E-Business : a conceptual framework

    Jones, S., Wilikens, M., Morris, P. & Masera, M., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 335)

    Research output: Book/ReportOther report

  48. 1998
  49. A comparison of timed CSP and time basic nets for the specification of time constraints

    Kutar, M., 1998, University of Hertfordshire. (UH Computer Science technical Report; vol. 311)

    Research output: Book/ReportOther report

  50. A first programming language for information systems students

    Jefferies, A. & Britton, C., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 312)

    Research output: Book/ReportOther report

  51. An introduction to the Hatfield Superscalar Scheduler

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

    Research output: Book/ReportOther report

  52. Developing the Hatfield Superscalar architecture cache simulator

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

    Research output: Book/ReportOther report

  53. Evaluating formal specifications : a cognitive approach

    Vinter, R. J., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 320)

    Research output: Book/ReportOther report

  54. Evolution of developmental ontogeny for robustly reproducible phenotypes

    Rust, A. G., Adams, R. G., George, S. & Bolouri, H., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 317)

    Research output: Book/ReportOther report

  55. Evolution of language structure : survival of the fittest in a statistical environment

    Lyon, C., 1998, University of Hertfordshire.

    Research output: Book/ReportOther report

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

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

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

  59. The right stuff : appropriate mathematics for evolution and development biology

    Nehaniv, C. L. & Wagner, G. P., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 315)

    Research output: Book/ReportOther report

  60. The untrained eye : how languages for software specification support understanding in untrained users

    Britton, C. & Jones, S., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 321)

    Research output: Book/ReportOther report

  61. 1997
  62. A graphical representation for communicating sequential processes

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

    Research output: Book/ReportOther report

  63. A study of disjunctive and conjunctive reasoning in formal logic

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

    Research output: Book/ReportOther report

  64. Abstract process definitions in CSP- A case study

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

    Research output: Book/ReportOther report

  65. Assessment of the use of computer assisted learning (CAL) and multimedia in Kuwaiti Higher Education

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

    Research output: Book/ReportOther report

  66. B-CCD: a framework to enable SMEs to make business-critical computing decisions

    Bennett, J., Berenbaum, R., Hinton, P., Tagg, C. & Ward, B. K., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 273)

    Research output: Book/ReportOther report

  67. Binding bit patterns to real world entities

    Christianson, B. & Malcolm, J., 1997, University of Hertfordshire. (UH Computer Science technical Report; vol. 306)

    Research output: Book/ReportOther report

  68. Concrete examples (using CSP) of process algebra templates and their children

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

    Research output: Book/ReportOther report

  69. Concrete examples for templates and their children

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

    Research output: Book/ReportOther report

  70. Conditional reasoning in language and logic : transfer of non-logical heuristics?

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

    Research output: Book/ReportOther report

  71. Creating multimedia learning applications in a further education environment

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

    Research output: Book/ReportOther report

  72. Designing a public access information system in a new domain

    Jones, S. & Hewitt, J., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 274)

    Research output: Book/ReportOther report

  73. Evaluating parsing schemes with entropy indicators

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

    Research output: Book/ReportOther report

  74. Exploiting BP & ISR in the Sri Lankan contect: an action research project

    Weerakkody, V., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 300)

    Research output: Book/ReportOther report

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

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

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

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

  79. Resilient process theory (RsPT)

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

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

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

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

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

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

  86. The untrained eye : what makes a representation easy for novice readers to understand?

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

    Research output: Book/ReportOther report

  87. Towards a framework for selecting notations for modelling requirements

    Jones, S., Britton, C. & Lam, W., 1997, University of Hertfordshire. (UH Computer Technical Report; vol. 307)

    Research output: Book/ReportOther report

  88. Use of case-based reasoning in the context-specific selection of notations for requirements specification

    Jones, S., Shankararaman, V. & Britton, C., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 310)

    Research output: Book/ReportOther report

  89. Using multimedia case study material for teaching requirements engineering

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

    Research output: Book/ReportOther report

  90. Which properties make a modelling notation easy for untrained users to understand?

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

    Research output: Book/ReportOther report

  91. 1996
  92. A frame work for business process & information systems reengineering (BP&ISR)

    Weerakkody, J., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 263)

    Research output: Book/ReportOther report

  93. A joint authorisation scheme

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

    Research output: Book/ReportOther report

  94. A new notation for modelling multimedia systems with three case studies

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

    Research output: Book/ReportOther report

  95. A review of twenty formal specification notations

    Vinter, R. J., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 240)

    Research output: Book/ReportOther report

  96. A survey of tools for modelling multimedia systems

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

    Research output: Book/ReportOther report

  97. An introduction to the Hatfield superscalar architecture

    Steven, G. B., Christianson, B., Collins, R., Potter, R. & Steven, F. L., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 253)

    Research output: Book/ReportOther report

  98. An investigation into the measurement of notations used in software modelling

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

    Research output: Book/ReportOther report

  99. Artificial evolution: modelling the development of the retina

    Rust, A. G., Adams, R. G., George, S. & Bolouri, H., 1996, University of Hertfordshire. (UH Computer Science technical Report; vol. 255)

    Research output: Book/ReportOther report

  100. BP&ISR: an analysis of factors in the Sri Lankan context

    Weerakkody, V., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 251)

    Research output: Book/ReportOther report

  101. Developmental artificial neural networks for shape recognition: a model of the retina

    Rust, A. G., George, S., Bolouri, H. & Adams, R. G., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 243)

    Research output: Book/ReportOther report

  102. Developmental neural networks for shape recognition: motivation and review

    Rust, A. G. & Bolouri, H., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 241)

    Research output: Book/ReportOther report

  103. Discretionary non-repudiation

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

    Research output: Book/ReportOther report

  104. Expressing a policy

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

  113. The problem area of invoice matching at Neon Electrical- a case study of SSM in business systems analysis and design

    Pascoulis, C., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 254)

    Research output: Book/ReportOther report

  114. The special requirements of multimedia systems: how to choose the most effective modelling notations

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

    Research output: Book/ReportOther report

  115. Transfer of non-logical tendencies to formal reasoning

    Vinter, R. J., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 252)

    Research output: Book/ReportOther report

  116. Using single layer networks for discrete, sequential data: an example from natural language processing. [extended version]

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

    Research output: Book/ReportOther report

  117. WISE (world wide integrated software engineering): a summary of work in progress

    Sapsford-Francis, J., Jones, S. & Brabrook-Norman, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 269)

    Research output: Book/ReportOther report

  118. 1995
  119. A brief history of time (before and after objects) - from a perspective of process algebras

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

    Research output: Book/ReportOther report

  120. A technique for clarifying the implementation of relationships between objects to enhance software reuse

    Mayes, J. A., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 226)

    Research output: Book/ReportOther report

  121. Applications of neural networks in telecommunications

    Field, S., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 219)

    Research output: Book/ReportOther report

  122. Authentication v Certification

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

    Research output: Book/ReportOther report

  123. BPR - a UK case study

    Weerakkody, V., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 230)

    Research output: Book/ReportOther report

  124. Bridging the gap between business process reeingineering and information systems: identifying key issues

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

    Research output: Book/ReportOther report

  125. Case study - an information systems strategy: development and evolution at the University of Hertfordshire

    Bennett, J. & Hinton, P., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 221)

    Research output: Book/ReportOther report

  126. Dynamic competitive learning applied to the clone detection problem

    Barson, P., Davey, N., Frank, R. & Tansley, D., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 220)

    Research output: Book/ReportOther report

  127. Early elicitation and definition of requirements for an interactive multimedia information system

    Jones, S. & Britton, C., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 236)

    Research output: Book/ReportOther report

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

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

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

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

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

  133. Nested signature blocks

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

    Research output: Book/ReportOther report

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

  135. Roles and rights

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

    Research output: Book/ReportOther report

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

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

  138. Temporal logic and "reverse semantics"

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

    Research output: Book/ReportOther report

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

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

  141. The representation of rules in connectionist models

    St Aubyn, M., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 227)

    Research output: Book/ReportOther report

  142. UPQM: a framework for developing a small business IS/IT strategy

    Bennett, J., Hinton, P. & Tagg, C., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 214)

    Research output: Book/ReportOther report

  143. User interface design and computer music systems

    Polfreman, R., Sapsford-Francis, J., Lewis, J. & Burrell, H., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 215)

    Research output: Book/ReportOther report

  144. Using a neural net to determine the language in which a text is written

    Lyon, C. & Matthews, C., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 212)

    Research output: Book/ReportOther report

  145. Using neural networks to analyse software complexity

    Field, S., Davey, N. & Frank, R., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 217)

    Research output: Book/ReportOther report

  146. 1994
  147. 3-dimensional modelling in knowledge engineering

    Jones, S., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 174)

    Research output: Book/ReportOther report

  148. A case study for generic processes and reusability in LOTOS

    Taylor, P. N. & Smith, D. E., 1994, University of Hertfordshire. 15 p. (Computer Science Technical Report; no. 209)

    Research output: Book/ReportOther report

  149. A comparative study of three neural networks that use soft competition

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

    Research output: Book/ReportOther report

  150. A comparison of Eiffel, C++ and Oberon-2

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

    Research output: Book/ReportOther report

  151. A conservative extension to CCS for true concurrency semantics

    Baillie, J. & Smith, D., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 200)

    Research output: Book/ReportOther report

  152. A data flow model for prototyping reactive systems. (PhD Transfer Report)

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

    Research output: Book/ReportOther report

  153. A knowledge extraction approach for capturing dispersed knowledge and its application to the modelling of working environments for people with disabilities

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

    Research output: Book/ReportOther report

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

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

    Research output: Book/ReportOther report

  155. An evaluation of the iHARP multiple instruction issue processor

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

    Research output: Book/ReportOther report

  156. An explicitly declared delayed-branch mechanism for a superscalar architecture

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

    Research output: Book/ReportOther report

  157. An integrated approach to the development of advice systems to support learning and domain based information retrieval

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

    Research output: Book/ReportOther report

  158. Clone detection in telecommunications software systems: a neural net approach

    Carter, S., Frank, R. & Tansley, D., 1994, University of Hertfordshire. 11 p. (Computer Science Technical Report; no. 208)

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

  169. Potential for asynchronous microprocessor design

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

    Research output: Book/ReportOther report

  170. Self authenticating proxies

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

    Research output: Book/ReportOther report

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

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

  173. The influence of the formal description technique LOTOS on concurrent system design

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

  182. 1993
  183. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  199. The object modeling technique

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

    Research output: Book/ReportOther report

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

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

  202. 1992
  203. 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

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

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

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

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

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

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

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

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

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

  213. Minimal kernels and security

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

    Research output: Book/ReportOther report

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

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

  216. Security system case study

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

    Research output: Book/ReportOther report

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

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

  219. The Notary

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

    Research output: Book/ReportOther report

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

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

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

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