Now showing items 11-15 of 76

  • Constructive Mathematics in Theory and Programming Practice

    Bridges, Douglas; Reeves, Steve (Oxford University Press, 1999)
    The first part of the paper introduces the varieties of modern constructive mathematics, concentrating on Bishop’s constructive mathematics(BISH). It gives a sketch of both Myhill’s axiomatic system for BISH and a constructive ...
  • Contexts, refinement and determinism

    Reeves, Steve; Streader, David (Elsevier, 2010)
    In this paper we have been influenced by those who take an “engineering view” of the problem of designing systems, i.e. a view that is motivated by what someone designing a real system will be concerned with, and what ...
  • CSCW in New Zealand: a snapshot

    Blackett, Colin; Reeves, Steve (1996-07)
    This report has been produced as one of the outputs of the FORST funded project "Improved Computer Supported Collaborative Work Systems" which is currently running in the Department of Computer Science at the University ...
  • Data refinement and singleton failures refinement are not equivalent

    Reeves, Steve; Streader, David (Springer, 2008)
    In this paper, we give simple example abstract data types, with atomic operations, that are related by data refinement under a definition used widely in the literature, but these same abstract data types are not related ...
  • Design patterns for models of interactive systems

    Bowen, Judy; Reeves, Steve (IEEE, 2015)
    Building models of safety-critical interactive systems (in healthcare, transport, avionics and finance, to name but a few) as part of the design process is essential. It is also advised for non-safety critical interactive ...