Browsing by Author "Deutsch, Moshe"
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 ...
Co-authors for Moshe Deutsch
Moshe Deutsch has 2 co-authors in Research Commons.