ÌÇÐÄTV

Timetable

Term 2, weeks 11-20:

• Lecture: Monday 2pm in CS101
• Lecture: Tuesday 3pm in CS101
• Lab Session: Friday 10am in CS101/CS001 (the IBM lab)

Remember the

Previous material (2005-6) and (2006-7) is available for those interested. The current CS405 page is here.

See also:
• The First ÌÇÐÄTV Electronic Bulletin on EM
• The Second ÌÇÐÄTV Electronic Bulletin on EM
• The Third ÌÇÐÄTV Electronic Bulletin on EM

 

Download the tkeden tool

Coursework

Details of the are now available. (See the tabs on the left-hand panel of the assignment webpage for details of the initial and final submission procedures.) Feedback on the initial submissions is now available, together with guidance about preparing your paper for WEB-EM-04. You may also find it useful to consult the answers to Lab 2, the notes on more advanced features of EDEN, and the additional resources referenced in Seminars 3 and 4 below. {The initial submissions of abstracts are recorded here.]

Examination

The coursework and the examination contribute 50% to the final mark for the module. The format of the CS405 exam for 2008 will be unchanged: Question 1 is a compulsory question, and you must answer two questions out of the other four. You will have 3 hours in which to answer the paper. Whereas in previous years the examination has been marked out of 100, this year's paper will be marked out of 50 (question 1 will carry 20 marks, and questions 2, 3, 4 and 5 will carry 15 marks). More guidance on the format and content of the June 2008 exam can be found here.

 

Online material

Lectures

• Lecture 1 - Introduction and Orientation (7th January)
  Lecture slides:
  Handout: By way of orientation ... and
  Handout:
  Handout:

• Lecture 2 - Modelling State (8th January)
  Lecture slides: Modelling with definitive scripts
  EDEN Script:
  Online model:

• Lecture 3 - Observables, dependency and agency (14th January)
  Lecture slides:
  Handout:

• Lecture 4 - The EDEN interpreter (15th January)
  Lecture slides:
  Handout:
  EDEN Script:
  Online model:

• Lecture 5 - Illustrating EM principles and tools (21st January)
  Lecture slides:

• Lecture 6 - Modelling with definitive scripts for general applications (22nd January)
  Lecture slides:

• Lecture 7 - Programming from an Empirical Modelling perspective (28th January)
  Lecture slides:
  Handout:
  Online model:

• Lecture 8 - Comparing EDEN with other programming tools (29th January)
  Lecture slides: Some comparative studies
  Handout: The room in Logo
  EDEN Script: Specifying the room in basic Logo
  Online model: (to be interpreted with tkeden-1.49 on Linux or tkeden-1.46 on Windows)

• Lecture 9 - Definitive Programming vs Programming with Dependency (4th February)
  Lecture slides: Dependency by definition in Imagine-d Logo - EDEN presentation
  Online paper:

• Lecture 10 - Programming from an Empirical Modelling perspective 2 (5th February)
  Lecture slides: State, behaviour and semantics in programming
  Online model: (See also Lab 3.)

• Lecture 11 - Functional Programming vs Definitive Programming (11th February)
  Lecture slides:
  Handout: (with some significant corrections!)
  Online model: (select option 2 on start-up)

• Lecture 12 - Definitive scripts as construals and the principle of SIN (12th February)
  Lecture slides: (as presented by SBR in 2005-6)
  Supplementary notes: About construals
  Supplementary notes: Science and art and the principle of SIN

• Lecture 13 - Software development from an EM perspective (18th February)
  Lecture slides:
  Supplementary slides:
  Handout:
  Handout:
  Handout:

• Lecture 14 - Rethinking Programming (19th February)
  Handout:
  Lecture slides:
  Supplementary slides:
  Handout:
  Handout:
  Handout:
  Handout:

• Lecture 15 - Empirical Modelling for Concurrency (25th February)
  Online notes:
  Online notes:
  Lecture slides:

• Lecture 16 - The LSD notation (26th February)
  Online notes:

• Lecture 17 - LSD in relation to systems development (3rd March)
  Lecture slides:
  Handout:
  (see also ~wmb/public/projects/simulations/train)
  Handout:
  Supplementary slides:
  Handout: based on the (in which text has to be centred to be visible)

• Lecture 18 - The Abstract Definitive Machine (4th March)
  Online notes:
  Lecture slides:
  (note addition of the JUGS in the ADM slide not presented in the lecture)

• Lecture 19 - Evaluating EM for systems development:
  Agent-oriented software engineering, normal and radical design, visual support (10th March)
  Lecture slides:
  Handout:
  Online model:
  Relevant online notes:

• Lecture 20 - Evaluating EM for systems development:
  Concurrent engineering, conceptual integrity, HCI (11th March)
  Online model:
  Handout:
  Online model:
  Handout:
  Relevant online notes:

Labs

Additional resources for the lab sessions can be found in the /dcs/emp/empublic/teaching/cs405-2008 sub-directories.

• Lab 1 - Modelling with definitive scripts preliminaries (11th January)
  Handout: (pdf)

• Lab 2 - Script mechanics - eden, donald and scout (18th & 25th January)
  Handout: (pdf)
  For further guidance on using scout, donald and eden, see the (pdf).

• Lab 3 - The OXO laboratory (1st February & 8th February)
  Handout: (pdf)
  Handout: (pdf)
  Online paper:

• Lab 4 - The EDDI notation (15th February)
  Handout: (pdf)
  Handout: (pdf)

Seminars

• Seminar 1 - Sudoku models as a case study (22nd February)
  Handout: (pdf)
  Handout: (pdf) and the puzzle to which it refers
  Supplementary material: (pdf)

• Seminar 2 - Developing LSD accounts (29th February)
  Handout: (pdf)
  Handout: (pdf)
  Online notes:

• Seminar 3 - Some practical exercises and resources (7th March)
  Handout: (pdf)
  Handout: (pdf)
  Handout: (pdf)
  Handout: Notes on more advanced features of EDEN (pdf)

• Seminar 4 - Concluding session (14th March)
  Handout: (pdf)
  Handout: (pdf) (NB See note on Forum.)
  Online notes: