Browsing by Author "Henson, Martin C."

Now showing items 6-10 of 12

  • 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 ...

  • 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 ...

  • Revising Z: part I - logic and semantics

    Henson, Martin C.; Reeves, Steve (1999-12-01)
    This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound. We then provide an interpretation for (a rational ...

  • Revising Z: part II - logical development

    Henson, Martin C.; Reeves, Steve (1999-12-01)
    This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journal) we introduced a simple specification logic ZC comprising a logic and a semantics (in ZF set theory). We then provided ...