Abstract
In the previous chapters a lot of examples have been given to illustrate various transformation rules and strategies. The emphasis there was on demonstrating different (individual) techniques in the overall software development process, for example the transition from descriptive to operational specifications or improvement of applicative programs. Certain problems have been considered in various stages scattered over different chapters. Except for the queens problem of Sect. 1.6, however, there were no complete treatments of problems leading from an informal problem statement to an efficient procedural program. Therefore, in this chapter, a couple of further examples will be considered in a more complete way.
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
Partsch, H.A. (1990). Complete Examples. In: Specification and Transformation of Programs. Texts and Monographs in Computer Science. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61512-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-61512-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52589-9
Online ISBN: 978-3-642-61512-2
eBook Packages: Springer Book Archive