Advertisement

Abstract Implementations

  • Ivo Van Horebeek
  • Johan Lewi

Abstract

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.

Keywords

Equivalence Function Procedure Implementation Error Handling Hash Code Abstract Data Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Ivo Van Horebeek
    • 1
  • Johan Lewi
    • 1
  1. 1.Department of Computer ScienceKatholieke Universiteit LeuvenLeuven/HeverleeBelgium

Personalised recommendations