Browsing by Author "Loomes, M."

Now showing items 1-8 of 8

    • Coding or comprehension? The essence of software system design 

      Loomes, M.; Britton, C.; Taylor, P.N. (University of Hertfordshire, 1993)
      Throughout the disciplines of engineering, modelling and simulation are generally considered as important components of any modern designer's tool kit. They allow the powerful mechanisms of abstraction, decomposition and ...

    • Cognitive and organisational aspects of design 

      Loomes, M.; Ridley, D.; Kornbrot, D. (University of Hertfordshire, 1993)
      Research into the software design process currently centres on a particular model of the software design which is based on a number of assumptions that are rarely tested and have little theoretical grounding. This paper ...

    • “Fair” Authentication in Pervasive Computing 

      Christianson, B.; Li, J.; Loomes, M. (2006)
      Authentication is traditionally required to be strong enough to distinguish legitimate entities from unauthorised entities, and always involves some form of proof of identity, directly or indirectly. Conventional storable ...

    • Formal methods: no cure for faulty reasoning 

      Loomes, M.; Vinter, R.J. (University of Hertfordshire, 1996)
      Owing to the benefits commonly associated with their use and links with scientific culture, formal methods have become closely identified with the design of safety-critical systems. But, despite the mathematical nature of ...

    • Formal Systems, Not Methods 

      Loomes, M.; Christianson, B.; Davey, N. (2004)
      In this paper we will present an approach for teaching formalisms to Computer Science undergraduate students that has been developed over the past 23 years at the University of Hertfordshire (formerly Hatfield Polytechnic). ...

    • Security system case study 

      Loomes, M.; Britton, C. (University of Hertfordshire, 1992)
      This paper is an early draft of the specification of a security system. We begin by giving a full description in English of the client company and their requirements for card issuing system and a door control system. The ...

    • Teaching mathematical explanation through audiographic technology 

      Loomes, M.J.; Shafarenko, A.; Loomes, M. (2002)

    • Vertical Z 

      Loomes, M.; Britton, C. (University of Hertfordshire, 1991)
      In this paper, lessons learned about decomposition in programming are used as the basis for the organisation of a Z specification. The example used is drawn from an information system which manages security for a large ...