. Database management is presented in Chapter 6. Software testing is fleshed out in Chapter 7. In the second part of this book, first an overview on the five typical applications in real-world industrial automation software design is given in Chapter 8.
. Chapter 4 is concerned with syntax analysis, that is the method of parsing sentences and programs. We concentrate on the simple but surprisingly powerful method of recursive descent, which is used in our exemplary compiler.
. We formulate a theory of refinement within the relational calculus, and extend it to cover specifications involving schemas. We then show how a concrete design may be refined to produce executable code.