Skip to main content Skip to navigation

Seminars for S4

Seminars for the S4 module 1992-3 (December)

M4 The Definitive Programming project reviewed
T4 Programming as Modelling / Programming in the Victorian style
W4 Foundations of Programming
Th4 Definitive methods for programming and parallelism

Seminars for the S4 module 1993-4 (November)

M4 The Definitive Programming project reviewed
T4 Programming as Modelling: the context
W4 Programming as Modelling revisited
Th4 From Modelling to Programming

Seminars for the S4 module 1994-5 (December)

M4 EM from a programming perspective
T4 Programming as Modelling
W4 Foundations of Programming
Th4 Empirical Modelling for concurrent systems

Seminars for the S4 module 1995-6 (January)

M4 Software development versus system development
T4 How do we know that a system works?
W4 The Design and Explanation of Systems
Th4 Empirical Modelling of Concurrent Systems

Seminars for the S4 module 1996-7 (March)

Sequence of eight concurrency lectures approximated
W4 Concurrent Engineering for Concurrent Systems (practical and discussion session with banner slide)
Th4 From Principles vs. Pragmatism to Principled Pragmatism (slides / summary rough notes)

Seminars for the S4 module 1997-8 (November)

Sequence of eight concurrency lectures
W4 Concurrent Engineering for Concurrent Systems
Th4 From Principles vs. Pragmatism to Principled Pragmatism

Seminars for the S4 module 1998-9 (November)

There were no seminars. Practical work and tutorials on dtkeden displaced them.