Now showing items 1-3 of 3

  • An analysis of total correctness refinement models for partial relation semantics I

    Deutsch, Moshe; Henson, Martin C.; Reeves, Steve (Oxford University Press, 2003)
    This is the first of a series of papers devoted to the thorough investigation of (total correctness) refinement based on an underlying partial relational model. In this paper we restrict attention to operation refinement. ...
  • 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 ...
  • Results on formal stepwise design in Z

    Deutsch, Moshe; Henson, Martin C.; Reeves, Steve (IEEE Computer Society, 2002-12-01)
    Stepwise design involves the process of deriving a concrete model of a software system from a given abstract one. This process is sometimes known as refinement. There are numerous refinement theories proposed in the ...

Moshe Deutsch has 2 co-authors in Research Commons.