Browsing by Subject "Z"

Now showing items 1-11 of 11

  • Atomic components

    Reeves, Steve; Streader, David (University of Waikato, Department of Computer Science, 2004-02)
    There has been much interest in components that combine the best of state-based and event-based approaches. The interface of a component can be thought of as its specification and substituting components with the same ...
  • Comparison of data and process refinement

    Reeves, Steve; Streader, David (University of Waikato, Department of Computer Science, 2003-05)
    When is it reasonable, or possible, to refine a one place buffer into a two place buffer? In order to answer this question we characterise refinement based on substitution in restricted contexts. We see that data refinement ...
  • CZT: A Framework for Z Tools

    Malik, Petra; Utting, Mark (Springer, 2005)
    The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z ...
  • An Eclipse Environment for Z

    Xu, Chengdong (The University of Waikato, 2006)
    This thesis reports on the design, implementation and evaluation of a new interactive Z environment that is integrated into the Eclipse environment. The Z language is a formal specification notation that is used to describe ...
  • Feature refinement

    Reeves, Steve; Streader, David (IEEE Computer Society, 2007)
    Development by formal stepwise refinement offers a guarantee that an implementation satisfies a specification. But refinement is frequently defined in such a restrictive way as to disallow some useful development steps. ...
  • Including design guidelines in the formal specification of interfaces in Z

    Bowen, Judy; Reeves, Steve (Springer, Berlin, 2005)
    For any sort of computer system, the problems of being sure you have asked for the right thing and then being sure you are implementing the right thing are important and hard problems. For systems with a graphical user ...
  • Operation Refinement and Monotonicity in the Schema Calculus

    Deutsch, Moshe; Henson, Martin C.; Reeves, Steve (Springer, Berlin, 2003)
    The schema calculus of Z provides a means for expressing structured, modular specifications. Extending this modularity to program development requires the monotonicity of these operators with respect to refinement. This ...
  • Program Development and Specification Refinement in the Schema Calculus

    Henson, Martin C.; Reeves, Steve (Springer, Berlin, 2000)
    We introduce a framework for program development and specification refinement in the schema calculus of Z. We provide illustrative examples outlining the major design decisions based on an interpretation of operation schemas ...
  • Specification and validation of the MODAM module manager

    Utting, Mark; Boulaire, Fanny (2015)
    Electricity distribution networks are large complex systems that are continuously evolving. Agent-based models are a useful way of exploring possible future scenarios for these networks. This paper introduces MODAM, a ...
  • State-based and process-based value passing

    Reeves, Steve; Streader, David (Formal Methods Europe, 2003)
    State-based and process-based formalisms each come with their own distinct set of assumptions and properties. To combine them in a useful way it is important to be sure of these assumptions in order that the formalisms are ...
  • μ-Chart-based specification and refinement

    Goldson, Doug; Reeve, Greg; Reeves, Steve (Springer, Berlin, 2002)
    We introduce two new notions of refinement for μ-charts and compare them with the existing notion due to Scholz. The two notions are interesting and important because one gives rise (via a logic) to a calculus for constructing ...