Complete Examples

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.