This chapter gives an exampe of the actual development
of an application.
You may replace this example with an example of your choice.
At the end of this chapter, ab example is gives of
how an implementation be be developed based
on a formal specification.
As subjects for writing a paper you may think of
As practical work, a possible assignment may be to
for one of the programs suggested in appendix I.
Hints
Project assignments
Comments
[]
readme
course
preface
1
2
3
4
5
6
7
8
9
10
11
12
appendix
lectures
resources

draft version 0.1 (15/7/2001)