Moshe Deutsch

According to our database, Moshe Deutsch authored at least 13 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

The specification logic nuZ.

Martin C. Henson, Moshe Deutsch, Besnik Kajtazi

Formal Aspects Comput., 2006

An analysis of refinement in an abortive paradigm.

Moshe Deutsch, Martin C. Henson

Formal Aspects Comput., 2006

A Relational Investigation of UTP Designs and Prescriptions.

Moshe Deutsch, Martin C. Henson

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

2005

An analysis of total correctness refinement models for partial relation semantics.

Moshe Deutsch

PhD thesis, 2005

An Analysis of Operation-Refinement in an Abortive Paradigm.

Moshe Deutsch, Martin C. Henson

Proceedings of the REFINE 2005 Workshop, 2005

An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.

Moshe Deutsch, Martin C. Henson

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2003

An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I.

Moshe Deutsch, Martin C. Henson, Steve Reeves

Log. J. IGPL, 2003

An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II.

Moshe Deutsch, Martin C. Henson

Log. J. IGPL, 2003

Operation Refinement and Monotonicity in the Schema Calculus.

Moshe Deutsch, Martin C. Henson, Steve Reeves

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

An Analysis of Forward Simulation Data Refinement.

Moshe Deutsch, Martin C. Henson

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Modular refinement in novel schema calculi.

Moshe Deutsch, Martin C. Henson, Besnik Kajtazi

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics.

Moshe Deutsch, Martin C. Henson

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Results on Formal Stepwise Design in Z.

Moshe Deutsch, Martin C. Henson, Steve Reeves

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002