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.
General resources
Closed-world vs open development
... a Jamesian stance (March 1997)
An Empiricist Perspective on Learning (and on software development)
Seminar slides for early editions S4 inc. VISC'92 slides EM paper #025
Slides on ADM / Parallelism / LSD- prior to concerns re the blocks animation cf. EM paper #016
Edition 1 1992-3
See links from S4 edition 1 timetable
Edition 2 1993-4
See these brief abstracts for the seminars
and rough notes on MTW seminars
Bertrand Russell quote and comment
Edition 4 1995-6
See these brief abstracts for the seminars associated annotated version and rough notes
- Software Development as System Development (Winograd and Minsky on design were also mentioned)
- How do we know that a system works?