Now showing items 1-5 of 9

  • Experiences using Z animation tools.

    Reeve, Greg; Reeves, Steve (University of Waikato, Department of Computer Science, 2001-05-01)
    In this paper we describe our experience of using three different animation systems. We searched for and decided to use these tools in the context of a project which involved developing formal versions (in Z) of informal ...
  • Idioms for µ-charts

    Anderson, Grant; Reeve, Greg; Reeves, Steve (IEEE COMPUTER SOC, 2001-08-01)
    This paper presents an idiomatic construct for µ-charts which reflects the high-level specification construct of synchronization between activities. This, amongst others, has emerged as a common and useful idea during our ...
  • A survey of software development practices in the New Zealand software industry

    Groves, Lindsay; Nickson, Ray; Reeve, Greg; Reeves, Steve; Utting, Mark (IEEE Computer Society, 2000-04)
    We report on the software development techniques used in the New Zealand software industry, paying particular attention to requirements gathering. We surveyed a selection of software companies with a general questionnaire ...
  • A survey of software requirements specification practices in the New Zealand software industry

    Groves, Lindsay; Nickson, Ray; Reeve, Greg; Reeves, Steve; Utting, Mark (Computer Science, University of Waikato, 1999-06)
    We report on the software development techniques used in the New Zealand software industry, paying particular attention to requirements gathering. We surveyed a selection of software companies with a general questionnaire ...
  • The syntax and semantics of μ-Charts

    Reeve, Greg; Reeves, Steve (University of Waikato, Department of Computer Science, 2004-02)
    μ-Charts is a language for specifying the behaviour of reactive systems. The language is a simplified variant of the well-known language Statecharts that was introduced by Harel. Development of the μ-Charts language is ...

Greg Reeve has 6 co-authors in Research Commons.