University of Hertfordshire

Publications

  1. 2019
  2. Online Harms White Paper: Consultation Response: BILETA Response to the UK Government Consultation 'Online Harms White Paper'

    Romero Moreno, F., Harbinja, E., Leiser, M., Barker, K., Mangan, D. & Dushi, D., 27 Jun 2019, BILETA. 10 p.

    Research output: Book/ReportOther report

  3. A Randomized Trial Directly Comparing Ventral Capsule and Anteromedial Subthalamic Nucleus Stimulation in Obsessive-Compulsive Disorder: Clinical and Imaging Evidence for Dissociable Effects

    Tyagi, H., Apergis-Schoute, A. M., Akram, H., Foltynie, T., Limousin, P., Drummond, L., Fineberg, N., Matthews, K., Jahanshahi, M., Robbins, T. W., Sahakian, B. J., Zrinco, L., Hariz, M. & Joyce, E. M., 1 May 2019, 9 ed. Elsevier. 9 p. (Biological Psychiatry)

    Research output: Book/ReportOther report

  4. 2018
  5. Garden Cities – Visionary, Popular and Viable? Garden City Perspectives Paper 4

    Parham, S., Downs, A., Murray, G. & Fernandez, P., 1 Oct 2018, Letchworth: International Garden Cities Institute. 21 p. (Garden City Perspectives Papers; no. 4)

    Research output: Book/ReportOther report

  6. Coding Scheme for Negative Utterances

    Foerster, F., 31 Jul 2018, 27 p.

    Research output: Book/ReportOther report

  7. Current Challenges to Educational Leadership & Administration: An International Survey Report on the Pilot Survey

    Woods, P., Roberts, A. & Culshaw, S., 2018, 2 ed. Virginia, US: University Council for Educational Administration.

    Research output: Book/ReportOther report

  8. Entry in progress
  9. 2017
  10. The clinical effectiveness and cost-effectiveness of treat-to-target strategies in rheumatoid arthritis: a systematic review and cost-effectiveness analysis

    Wailoo, A., Hock, E. S., Stevenson, M., Martyn-St James, M., Rawdin, A., Simpson, E., Wong, R., Dracup, N., Scott, D. L. & Young, A., 1 Dec 2017, 71 ed. National Institute for Health Research (NIHR). 258 p. (Health Technology Assessment)

    Research output: Book/ReportOther report

  11. Fostering wellbeing

    Daniels, K., Bryan, M., Connolly, S., Gedikli, C., Tregaskis, O. & Watson, D., 1 Nov 2017, 9 ed. Bristol: Science Impact Ltd. 3 p. (Impact)

    Research output: Book/ReportOther report

  12. ENHANCE: Enhancing resilience and self-efficacy in the parents of children with disabilities and complex health needs

    Whiting, M., Nash, A., Roberts, S. & Kendall, S., 25 Oct 2017, University of Hertfordshire. 68 p.

    Research output: Book/ReportOther report

  13. Digitalisation in the UK Service Industries

    Sharma, A., 30 Sep 2017, ZSI Centre for Social Innovation. 21 p.

    Research output: Book/ReportOther report

  14. Specific Frontostriatal Circuits for Impaired Cognitive Flexibility and Goal-Directed Planning in Obsessive-Compulsive Disorder: Evidence From Resting-State Functional Connectivity

    Vaghi, M. M., Vértes, P. E., Kitzbichler, M. G., Apergis-Schoute, A. M., van der Flier, F. E., Fineberg, N., Sule, A., Zaman, R., Voon, V., Kundu, P., Bullmore, E. T. & Robbins, T. W., 15 Apr 2017, 8 ed. Elsevier. 10 p. (Biological Psychiatry)

    Research output: Book/ReportOther report

  15. Transferring patients home to die: what is the potential population in UK critical care units?

    Coombs, M. A., Darlington, A-S. E., Long-Sutehall, T., Pattison, N. & Richardson, A., 1 Mar 2017, 1 ed. BMJ Publishing Group Limited. 4 p.

    Research output: Book/ReportOther report

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

  18. Collaborative Teacher Learning: Cases from the HertsCam Network

    Woods, P., Roberts, A. & Chivers, L., 2016, Centre for Educational Leadership, UH.

    Research output: Book/ReportOther report

  19. 2015
  20. 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

  21. Workshop Freiraumentwicklung in schrumpfenden Städten: Open space development in shrinking towns and cities

    Schlappa, H. & Scherzer, C., 15 Jul 2015, Hochschule für Technik und Wirtschaft Dresden. 6 p.

    Research output: Book/ReportOther report

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

  23. Developing the Teaching Profession ELC response

    Bage, G., Feb 2015, Eastern Leadership Centre. 9 p.

    Research output: Book/ReportOther report

  24. 2014
  25. 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

  26. Service Oriented Toolkit for Research Data Management Final Report

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

    Research output: Book/ReportOther report

  27. Experiences of new school-based teacher educators

    White, E., 2014, SSAHRI. 2 p.

    Research output: Book/ReportOther report

  28. 2013
  29. Degrees of Democracy Framework: A Review of its Use and Impact

    Woods, G. J. & Woods, P., May 2013, University of Hertfordshire. 50 p.

    Research output: Book/ReportOther report

  30. Six curricular questions of Michael Gove

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

    Research output: Book/ReportOther report

  31. 2012
  32. Sustainable living?

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

    Research output: Book/ReportOther report

  33. Eco- by design, eco- by practice? Urban development and the making of sustainable communities

    Jones, A., 4 Jun 2012, Centre for Sustainable Communities. 5 p. (CSC Think Piece Series; no. 1)

    Research output: Book/ReportOther report

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

  35. 2011
  36. Authentication of Students and Students’ Work in E-Learning: Report for the Development Bid of Academic Year 2010/11

    Xiao, H. & Ji, W., 2011, University of Hertfordshire. 59 p.

    Research output: Book/ReportOther report

  37. CAL : a language for aggregating functional and extrafunctional constraints in streaming networks

    Shafarenko, A. & Kirner, R., 2011, University of Hertfordshire. (UH Computer Science Technical Report)

    Research output: Book/ReportOther report

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

  39. Using FSR sensors to provide tactile skin to the humanoid robot KASPAR

    Barbadillo, G., Dautenhahn, K. & Wood, L., 2011, University of Hertfordshire. 13 p. (UH Computer Science Technical Report; vol. 511)

    Research output: Book/ReportOther report

  40. 2010
  41. Analysing Ferret XML reports to estimate the density of copied code

    Green, P., Lane, P., Rainer, A. & Scholz, S-B., 2010, University of Hertfordshire. (UH Computer Science Technical Report; vol. 501)

    Research output: Book/ReportOther report

  42. Unscrambling code clones for one-to-one matching of duplicated code

    Green, P., Lane, P., Scholz, S-B. & Rainer, A., 2010, University of Hertfordshire. (UH Computer Science Technical Report; vol. 502)

    Research output: Book/ReportOther report

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

  45. A randomised controlled trial evaluation of business in the community's Time to Read pupil mentoring programme.

    Miller, S., Connolly, P., Odena, O. & Styles, B., 2009, Centre for Effective Education, School of Education, Queen's University Belfast.

    Research output: Book/ReportOther report

  46. An Introduction to Slice-Based Cohesion and Coupling Metrics

    Green, P. D., Lane, P. C. R., Rainer, A. & Scholz, S., 2009, University of Hertfordshire. (UH Technical Report; vol. 488)

    Research output: Book/ReportOther report

  47. Do grandparents matter? The impact of Grandparenting on the wellbeing of children

    Brooks, F., Klemera, E., Offredy, M., Hill, C., Cook, L. & Clark, R., 2009, University of Hertfordshire / Family Matters Institute. 29 p.

    Research output: Book/ReportOther report

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

  49. 2008
  50. 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

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

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

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

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

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

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

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

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

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

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

  62. 2006
  63. 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

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

  65. 2004
  66. 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

  67. 2003
  68. 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

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

    Rainer, A., 2003, University of Hertfordshire.

    Research output: Book/ReportOther report

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

  71. Building a requirements process improvement model

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

    Research output: Book/ReportOther report

  72. Experiments in Electronic Plagiarism Detection

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

    Research output: Book/ReportOther report

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

    Rainer, A., 2003, University of Hertfordshire.

    Research output: Book/ReportOther report

  74. Waiting in software projects: an exploratory study

    Rainer, A., 2003, University of Hertfordshire.

    Research output: Book/ReportOther report

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

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

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

  80. 1999
  81. 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

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

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

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

  85. Modelling protein interaction in CCS

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

  96. 1998
  97. 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

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

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

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

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

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

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

    Lyon, C., 1998, University of Hertfordshire.

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  121. Evaluating parsing schemes with entropy indicators

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

    Research output: Book/ReportOther report

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

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

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

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

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

  127. Resilient process theory (RsPT)

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

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

  141. A joint authorisation scheme

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

  151. Discretionary non-repudiation

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

    Research output: Book/ReportOther report

  152. Expressing a policy

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  169. Applications of neural networks in telecommunications

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

    Research output: Book/ReportOther report

  170. Authentication v Certification

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

    Research output: Book/ReportOther report

  171. BPR - a UK case study

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

  181. Nested signature blocks

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

    Research output: Book/ReportOther report

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

  183. Roles and rights

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

    Research output: Book/ReportOther report

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

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

  186. Temporal logic and "reverse semantics"

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

  194. 1994
  195. 3-dimensional modelling in knowledge engineering

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  217. Potential for asynchronous microprocessor design

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

    Research output: Book/ReportOther report

  218. Self authenticating proxies

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

  230. 1993
  231. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  247. The object modeling technique

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

    Research output: Book/ReportOther report

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

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

  250. 1992
  251. 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

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

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

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

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

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

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

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

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

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

  261. Minimal kernels and security

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

    Research output: Book/ReportOther report

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

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

  264. Security system case study

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

    Research output: Book/ReportOther report

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

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

  267. The Notary

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

    Research output: Book/ReportOther report

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

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

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

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

  272. 1991
  273. 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

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

  275. Concurrent CCS - an introduction

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

    Research output: Book/ReportOther report

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

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

  278. Vertical Z

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

    Research output: Book/ReportOther report

  279. 1990
  280. 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

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

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

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

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

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

  286. Integer division by small constants

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

    Research output: Book/ReportOther report

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

  288. Optimizing real-time transport protocols

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

    Research output: Book/ReportOther report

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

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

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