Abstract
In the last chapter we have introduced parameterized specifications, like string(data), in order to replace a family of similar specifications, like string(nat) for strings of natural numbers, string(int) for strings of integers and string(spec) for strings over some other specification spec, by only one specification including a designated formal parameter specification. Moreover we have mentioned that parameterized specifications are most useful in order to obtain modularity of larger specifications and to allow reusability of the corresponding subspecifications.
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
© 1985 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ehrig, H., Mahr, B. (1985). Parameter Passing. In: Fundamentals of Algebraic Specification 1. EATCS Monographs on Theoretical Computer Science, vol 6. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69962-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-69962-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-69964-1
Online ISBN: 978-3-642-69962-7
eBook Packages: Springer Book Archive