Abstract
In this first chapter of the appendix we want to introduce abstract specifications with constraints and corresponding abstract specification languages. Abstract specifications are considered to show that most of the constructions for specifications with equational axioms studied in part 1 and part 2 of this book are, in fact, independent of the kind of signatures and of the kind of axioms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ehrig, H., Mahr, B. (1990). Abstract Act One and Act Two. In: Fundamentals of Algebraic Specification 2. EATCS Monographs on Theoretical Computer Science, vol 21. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61284-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-61284-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-64776-5
Online ISBN: 978-3-642-61284-8
eBook Packages: Springer Book Archive