Download Verification of Horizontal Refinement

Queue processing for download document So far, our focus has been on vertical refinement, i.e. the development of a fine-grained specification out of a more abstract one. Especially in the field of UML, however, a second kind of refinement is of particular interest: horizontal or intra-model r