University of Hertfordshire

Publications

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

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

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

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

  7. Developing the Teaching Profession ELC response

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

    Research output: Book/ReportOther report

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

  10. Service Oriented Toolkit for Research Data Management Final Report

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

    Research output: Book/ReportOther report

  11. Experiences of new school-based teacher educators

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

    Research output: Book/ReportOther report

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

  14. Six curricular questions of Michael Gove

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

    Research output: Book/ReportOther report

  15. 'Better Together': Establishing an effective and sustainable (relational) peer coaching process for staff in the Higher Education Sector: an exploratory project

    Weston, K. & Graham, S., 2013, University of Hertfordshire. 71 p.

    Research output: Book/ReportOther report

  16. 2012
  17. Sustainable living?

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

    Research output: Book/ReportOther report

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

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

  20. 2011
  21. 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

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

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

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

  25. 2010
  26. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Rainer, A., 2003, University of Hertfordshire.

    Research output: Book/ReportOther report

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

  56. Building a requirements process improvement model

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

    Research output: Book/ReportOther report

  57. Experiments in Electronic Plagiarism Detection

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

    Research output: Book/ReportOther report

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

    Rainer, A., 2003, University of Hertfordshire.

    Research output: Book/ReportOther report

  59. Waiting in software projects: an exploratory study

    Rainer, A., 2003, University of Hertfordshire.

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

  70. Modelling protein interaction in CCS

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Lyon, C., 1998, University of Hertfordshire.

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  106. Evaluating parsing schemes with entropy indicators

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

    Research output: Book/ReportOther report

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

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

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

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

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

  112. Resilient process theory (RsPT)

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

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

  126. A joint authorisation scheme

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

  136. Discretionary non-repudiation

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

    Research output: Book/ReportOther report

  137. Expressing a policy

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

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

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

  151. 1995
  152. 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

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

  154. Applications of neural networks in telecommunications

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

    Research output: Book/ReportOther report

  155. Authentication v Certification

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

    Research output: Book/ReportOther report

  156. BPR - a UK case study

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

  166. Nested signature blocks

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

    Research output: Book/ReportOther report

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

  168. Roles and rights

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

    Research output: Book/ReportOther report

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

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

  171. Temporal logic and "reverse semantics"

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

  179. 1994
  180. 3-dimensional modelling in knowledge engineering

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  202. Potential for asynchronous microprocessor design

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

    Research output: Book/ReportOther report

  203. Self authenticating proxies

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  232. The object modeling technique

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

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

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

  246. Minimal kernels and security

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

    Research output: Book/ReportOther report

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

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

  249. Security system case study

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

    Research output: Book/ReportOther report

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

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

  252. The Notary

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

  260. Concurrent CCS - an introduction

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

    Research output: Book/ReportOther report

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

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

  263. Vertical Z

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

    Research output: Book/ReportOther report

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

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

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

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

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

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

  271. Integer division by small constants

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

    Research output: Book/ReportOther report

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

  273. Optimizing real-time transport protocols

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

    Research output: Book/ReportOther report

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

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

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