Coronavirus (Covid-19): Latest updates and information
Skip to main content Skip to navigation

Timetable S4: edition 4

Module S4 :Definitive Methods for Concurrent Systems Modelling

Monday 8 January 1996

09.15 Module Overview

09.45 Lecture 1: An Introduction to the Empirical Modelling Project

10.30 Demonstration: The Vehicle Cruise Control Simulation

11.00 Coffee

11.15 Lecture 2: Introducing Definitive Notations

12.00 Demonstrations and Tutorial on DoNaLD

1.00 Lunch

2.00 Lecture 3: Introduction to EDEN programming

2.45 Demonstrations and Tutorial on EDEN

3.15 Tutorial and Laboratory: Animation of Games (DoNaLD)

4.00 Tea

4.15 Seminar 1: Software development versus system development

5.15 Laboratory

Tuesday 9 January 1996

09.00 Lecture 4: Visualisation and Concurrent Systems Modelling

09.45 Demonstration: Visual Interfaces with SCOUT and DoNaLD

11.00 Coffee

11.15 Lecture 5: An introduction to Scout

12.00 Tutorial and Laboratory: Animation of games (SCOUT)

1.00 Lunch

2.00 Tutorial on the Tk-eden system

3.00 Tutorial and Laboratory: Visualisation for an Integrated Railway Simulation

4.00 Tea

4.15 Seminar 2: How do we know that a system works?

5.15 Laboratory

Wednesday 10 January 1996

09.00 The LSD Notation for Agent Specification

09.45 Case Studies in LSD: the VCCS, the Railway Station Animation, the Cat Flap

11.00 Coffee

11.15 Back to the Future: Modern Computing in Railway History

12.00 Historic Railway Accidents Part 1

13.00 Lunch

14.00 Historic Railway Accidents Part 2

15.00 The Great Game of Britain (LSD)

16.00 Tea

16.15 Seminar: Design and Explanation

17.00 Laboratory

Thursday 11 January 1996

09.00 Agent-oriented Modelling for Discrete Event Systems

09.45 Case Studies: The Railway Animation

10.00 The Abstract Definitive Machine

10.45 Case Studies: Telephone, Beetles, Cricket

11.00 Coffee

11.15 Tutorial and Laboratory: ADM

11.45 The Great Game of Britain (ADM)

13.00 Lunch

14.00 Issues and Research Directions for LSD

15.00 Parallel Demonstrations and Laboratory

16.00 Tea

16.15 Seminar: Empirical Modelling for Concurrent Systems

17.00 Laboratory

Friday 12 January 1996

09.00 Lecture 10: Extensions and Issues for LSD and EDEN

10.00 Tutorial and Demonstration: The Digital Watch and Statechart Animation

10.30 Coffee

10.45 Laboratory and Individual Consultations

12.45 Module Debriefing

01.00 Lunch /