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.
“Everything should be built top-down, except the first time.” /usr/games/fortune
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Van Horebeek, I., Lewi, J. (1989). Abstract Implementations. In: Algebraic Specifications in Software Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75030-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-75030-4_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-75032-8
Online ISBN: 978-3-642-75030-4
eBook Packages: Springer Book Archive