Operation refinement and monotonicity in the schema calculus
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
An analysis of forward simulation data refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A relational investigation of UTP designs and prescriptions
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
| Hi-index | 0.00 |
Stepwise design involves the process of deriving a concretemodel of a software system from a given abstract one.This process is sometimes known as refinement.There are numerous refinement theories proposed in theliterature, each of which stipulates the nature of the relationshipbetween an abstract specification and its concretecounterpart.This paper considers six refinement theories in Z thathave been proposed by various people over the years. However,no systematic investigation of these theories, or resultson the relationships between them, have been presented orpublished before. This paper shows that these theories fallinto two important categories and proves that the theoriesin each category are equivalent.