Next: 3.1 Algorithms and their
Up: Building Models: A Direct
Previous: 2 J as a
3 Example Models
A small sample of models used in the teaching of various computer science
topics is given in Section 3.
When reading each of the example models, remember that they are used for the following purposes:
- To give a precise specification of the topic
- To allow examination of the properties of the topic
- To use the model for experimentation
In Section 3.1 some detail about the model and experimental
approach is given. The remaining examples in Sections 3.2 to
3.7 only give a representative J model and
leave out most experimental details due to space constraints.
When J is used interactively, inputs to a J session are shown
indented by 3 spaces while responses begin at the left margin.
Subsections
Next: 3.1 Algorithms and their
Up: Building Models: A Direct
Previous: 2 J as a
2003-12-20