Timetable S4: edition 1
Module S4 Definitive Methods for Concurrent Systems Modelling
Timetable
Monday 14 December 1992
09.15 Module Overview / slides
09.45 Lecture 1: General Principles of Definitive Programming
10.30 Demonstration: The Vehicle Cruise Control Simulation (VCCS) / Diagrams / notes for demo
11.00 Coffee
11.15 Lecture 2 Introducing Definitive Notations / slides
12.00 Demonstrations and Tutorial on DoNaLD
01.00 Lunch
02.00 Lecture 3 Introduction to EDEN programming / slides
02.45 Demonstrations and Tutorial on EDEN / Experiments with the room model
03.15 Tutorial and Laboratory: Animating a Cricket Field
04.00 Tea
04.15 Laboratory Practical exercises with EDEN
05.00 Seminar 1: The Definitive Programming Project Reviewed / slides
Tuesday 15 December 1992 [timetable for the day]
09.00 Lecture 4: Visualisation and Concurrent Systems Modelling / slides
09.45 Demonstration: Visual Interfaces with SCOUT and DoNaLD
11.00 Coffee
11.15 Lecture 5: An introduction to Scout / slides
12.00 Tutorial and Laboratory: The electronic cricket scorebook
01.00 Lunch
02.00 Tutorial on the Scout-Donald-Eden system / the Jugs interface case study
02.45 Tutorial and Laboratory: Scorebook, scorecard and scoreboard
04.00 Tea
04.15 Laboratory (supported by more advanced features of the Scout-Donald-Eden environment)
05.00 Seminar 2: Programming as Modelling preceded by Programming in the Victorian style [MCK]
Wednesday 16 December 1992
09.00 Lecture 6: Agent-Oriented Modelling for Discrete Event Systems
10.00 Demonstration: The Railway Station Animation
10.20 Tutorial: LSD specification of the VCCS
11.00 Coffee
11.15 Lecture 7: Principles of LSD specification / slides
12.00 Case studies: Telephone, Railway Station Animation, Electronic Catflap (cf. LSD examples)
01.00 Lunch
02.00 Tutorial and Laboratory: LSD specifications for cricketer agents cf. draft LSD for fielder / LSD for fielder
04.00 Tea
04.15 Laboratory
05.00 Seminar 3: Foundations of Programming
Thursday 17 December 1992
09.00 Lecture 8: The Abstract Definitive Machine / slides
10.00 Tutorial: Animating LSD specifications in the ADM / notes on the am interpreter
Laboratory Testing the telephone (cf. Telephone animation and testing from Appendix 7 of Mike Slade's MSc thesis)
11.00 Coffee
11.15 Lecture 9: Observations, continuity and events / slides
12.00 Tutorial: Linking the ADM and EDEN
01.00 Lunch
02.00 Laboratory: Cricketing events, and animation in the ADM and EDEN
04.00 Tea
04.15 Laboratory
05.00 Seminar 4: Definitive Methods for Programming and Parallelism (notes by Paul Ness after Baldwin) / outline
Friday 18 December 1992
09.00 lecture 10: Extensions and Issues for LSD and EDEN / slides
10.00 Tutorial and Demonstration: The Digital Watch and Statechart Animation
11.00 Coffee
11.15 Laboratory and Individual Consultations
01.00 Lunch
02.00 Seminar 5: Future Research Directions and Projects
03.00 Concluding Discussion
03.45 Module Debriefing
04.00 Tea / End
Some of the resources are later versions of those used in 1992 -- for instance, the source of the digital watch model in 1991-2 is in ~/ADMIN/MSc/MSc.92/harel