Abstract
Although Chapter 2 appears to provide what is needed to specify programs, in practice these techniques are only suitable for writing and reasoning about small specifications. This chapter shows how complex structured specifications can be built by combining and extending simpler ones using specification-building operations. It is possible to give a treatment of these operations at the level of an arbitrary institution (Chapter 4), abstracting away from the particular details of the logical system employed. Subsequent chapters will show how the structure of a large specification can be exploited in its use, and most aspects of this can also be treated at this abstract level.
This is a preview of subscription content, log in via an institution to check access.
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
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Sannella, D., Tarlecki, A. (2011). Structured specifications. In: Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17336-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-17336-3_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17335-6
Online ISBN: 978-3-642-17336-3
eBook Packages: Computer ScienceComputer Science (R0)