4. Application development*:
In this chapter we develop a complete application
and discuss the issues involved in its
design and realization.
It presents guidelines for (individual) class design,
and gives an example of how to derive an implementation
from a formal specification.