Moshe Deutsch

13 papers C 4Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2006 — conf
A Relational Investigation of UTP Designs and Prescriptions.
UTP
Moshe Deutsch, Martin C. Henson
2006 J jnl
An analysis of refinement in an abortive paradigm.
Formal Aspects Comput.
Moshe Deutsch, Martin C. Henson
2006 J jnl
The specification logic nuZ.
Formal Aspects Comput.
Martin C. Henson, Moshe Deutsch, Besnik Kajtazi
2005 C conf
An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.
APSEC
Moshe Deutsch, Martin C. Henson
2005 — conf
An Analysis of Operation-Refinement in an Abortive Paradigm.
REFINE
Moshe Deutsch, Martin C. Henson
2005 — —
An analysis of total correctness refinement models for partial relation semantics.
Moshe Deutsch
2003 C conf
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics.
APSEC
Moshe Deutsch, Martin C. Henson
2003 — conf
An Analysis of Forward Simulation Data Refinement.
ZB
Moshe Deutsch, Martin C. Henson
2003 J jnl
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I.
Log. J. IGPL
Moshe Deutsch, Martin C. Henson, Steve Reeves
2003 J jnl
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II.
Log. J. IGPL
Moshe Deutsch, Martin C. Henson
2003 C conf
Modular refinement in novel schema calculi.
APSEC
Moshe Deutsch, Martin C. Henson, Besnik Kajtazi
2003 — conf
Operation Refinement and Monotonicity in the Schema Calculus.
ZB
Moshe Deutsch, Martin C. Henson, Steve Reeves
2002 C conf
Results on Formal Stepwise Design in Z.
APSEC
Moshe Deutsch, Martin C. Henson, Steve Reeves