- It is proposed that the class analyse & describe
a generic container terminal port, a la Shanghai's
containet terminal ports.
- Topic is decided upon and participants on the first course day, 6.11
- Two hour project sessions every course day, right after lecture
- First project session is on first course day, 6.11
- At that section lecturer explains problem and refers to subject literature,
starts sketching a domain model and directs participants as
their home work
- In preparation for each project session participants work out
paper descriptions
- Each, but the first, project session starts with lecturer and participants
discussing partipant home work based on distributed copies of these
- The lecturer - in-between and subsequently - proceeds,
jointly
with participants, with further ``white board'' modelling
and directs next homework assignments
- Lecturer will, as a result of and in step with project session progress
``formalise'' current work and post this on the net.
A sketch description of an essence of container
terminal ports should result from this course.
Dines Bjorner
2018-11-06