Browsing by Subject "formal specification"

Now showing items 1-2 of 2

  • A logic for specifying and reasoning about cooperative environments

    Reeves, Steve (University of Waikato, Department of Computer Science, 1995-08)
    In this paper we describe the current progress of an attempt to develop a logic which will allow us to specify required properties of systems which typically consist of a single interactive program being used, probably ...

  • µ-Charts and Z: Examples and extensions

    Reeve, Greg; Reeves, Steve (IEEE COMPUTER SOC, 2000-12-01)
    μ-Charts are a way of specifying reactive systems, i.e. systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples ...