Browsing by Author "Reeve, Greg"
Now showing items 1-5 of 10
-
A refinement theory for μ∼Charts
(The University of Waikato, 2005)The language μ-Charts is one of many Statechart-like languages, a family of visual languages that are used for designing reactive systems. We introduce a logic for reasoning about and constructing refinements for μ-Charts. ... -
Experiences using Z animation tools.
(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
(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
(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
(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 ...
