Working with abstract implementations, sometimes called data refinements, is a powerful method to design and implement algebraic specifications. It enables top-down design, top-down verification and also top-down testing. As an introduction to abstract implementations first an intuitive discussion of the general principles of the method is given. These principles are then illustrated by a simple example. A detailed treatment of abstract implementations will be worked out in the subsequent sections.
KeywordsEquivalence Function Procedure Implementation Error Handling Hash Code Abstract Data Type
Unable to display preview. Download preview PDF.