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

Index to CS405 resources

Resources for the CS405 module as taught from 2006-7 until 2013-14.
(See https://warwick.ac.uk/fac/sci/dcs/research/em/teaching/cs405/cs405resources/)

Note: The dates refer to the time at which they were added to the CS405 repository.

        027.pdf                         11:05, Thu 30 Nov 2006
        033.pdf                         11:05, Thu 30 Nov 2006
        037.pdf                         11:05, Thu 30 Nov 2006
        054.pdf                         13:12, Fri 8 Dec 2006
        087.pdf                         14:16, Fri 8 Dec 2006
        AboutEMmodels.pdf               18:17, Thu 5 Mar 2009
        abstsWEB-EM-9.pdf               13:01, Thu 6 Dec 2012
        advicepaper.pdf                 12:11, Tue 8 Dec 2009
        AHDepInAct.pdf                  21:05, Wed 28 Oct 2009
        AHDepInAct.ppt                  21.05, Wed 28 Oct 2009
        algorithmconstrual.pdf          11:01, Mon 15 Oct 2012
        angelnotation.pdf               10:10, Mon 31 Oct 2011
        Ant Navigation Introduction     09:34, Fri 3 Dec, 2010
        arca_s4.pdf                     11:05, Thu 30 Nov 2006
        artefactscontrualsmodels.pdf    10:57, Tue 12 May 2009
        assign10-11.pdf                 11:51, Wed 27 Oct 2010
        assign1112intro.pdf             16:05, Sat 29 Oct 2011
        assign1213.pdf                  21:55, Mon 15 Oct 2012
        assign1314.pdf                  14:58, Wed 9 Oct 2013
        backtothefuture.pdf             14:31, Tue 3 Mar 2009
        badhair.pdf                     23:31, Thu 6 Dec 2012
        basicsLSD.pdf                   21:05, Fri 29 Feb 2008
        Ben-Ari                         22:42, Tue 11 May 2010
        bitingthesilverbullet.pdf       11:05, Thu 30 Nov 2006
        black.pdf                       10:18, Fri 22 Dec 2006
        blendDMTsyminfodiag.pdf         18:52, Sat 2 Nov 2013
        blendDMTsyminfohist.pdf         18:53, Sat 2 Nov 2013
        BrooksHarelCantwellSmithRidley  16:18, Wed 18 Mar 2009
        busjourneyWMB.txt               09:35, Thu 29 Nov 2012
        buslsd.pdf                      16:48, Fri 7 Mar 2008
        cabinetdigitdmt.pdf             10:44, Tue 26 Oct 2010
Cadence Resources cartoonstargate0.d 14:14, Mon 11 Oct 2010 catflapexercise 21:51, Thu 19 Feb 2009 codaabstracts.pdf 15:55, Fri 8 Dec 2006 collabSudoku.pdf 20:47, Fri 29 Feb 2008 computeruse.pdf 17:32, Wed 3 Oct 2012 conceptualaspects.pdf 15:07, Fri 8 Dec 2006 [dtkeden] conceptual_integrity.pdf 20:12, Tue 11 Mar 2008 ConcurrencyEM.pdf 11:10, Thu 29 Nov 2012 Construal2012.pdf 11:41, Thu 11 Oct 2012 construal.pdf 20:17, Mon 25 Feb 2008 constructivism.pdf 14:49, Mon 19 Nov 2012 ConstructivistComputing.pdf 18:16, Thu 5 Mar 2009 ConSys1SBRWMB 09:04, Wed 11 Feb 2009 Copy of construal.pdf 20:44, Tue 11 Mar 2008 courseworkslides0910 10:18, Thu 29 Oct 2009 courseworkslides.pdf 07:36, Fri 25 Jan 2008 courseworkslides.pdf 11:05, Thu 30 Nov 2006 courseworkslides.pdf 12:34, Fri 20 Feb 2009 courseworkspec.pdf 12:02, Wed 21 Jan 2009 CS402wk5+6.pdf 09:14, Wed 11 Feb 2009 cs405lab1.pdf 22:20, Fri 11 Jan 2008 CS_EM_picture.ppt 21:36, Mon 5 Jan 2009 DefNotsState 22:14, Wed 16 Jan 2008 depictingconstrual.pdf 17:14, Sun 18 Oct 2009 dosteandem.pdf 21:25, Wed 28 Oct 2009 dosteandem.ppt 21:14, Wed 28 Oct 2009 dosteedencadence.pdf 12:53, Sat 11 Dec 2010 draughts3.png 15:40, Fri 8 Dec 2006 draughtsdefns.e 15:41, Fri 8 Dec 2006 draughtsdefvars.e 15:41, Fri 8 Dec 2006 draughtsExs.pdf 20:30, Sun 24 Feb 2008 draughtsinfo.txt 15:40, Fri 8 Dec 2006 EDDIquickguide.pdf 21:44, Thu 14 Feb 2008 EFL+UnderstandingForwards.pdf 23:08, Thu 3 Nov 2011 ekslides.pdf 15:49, Fri 8 Dec 2006 EM+DevProc.pdf 15:41, Mon 4 Nov 2013 EMforSysDev 09:29, Fri 6 Mar 2009 emforsysdev.pdf 12:52, Sat 11 Dec 2010 EM for Systems Development 14:52, Wed 20 Nov 2013 EMillus.pdf 17:10, Sun 18 Oct 2009 EM&LearningCS405SBR.pdf 13:44, Thu 14 Nov 2013 EMprogramming2.pdf 11:10, Fri 19 Nov 2010 EMprogramming.pdf 14:57, Wed 23 Nov 2011 EMprogramming.pdf 21:30, Sun 14 Nov 2010 EMswdevelopEngDesign.pdf 20:56, Sun 24 Feb 2008 EMtrailer2012.pdf 16:46, Wed 3 Oct 2012 engsw.txt 15:46, Fri 8 Dec 2006 EpistPluralism.pdf 15:14, Wed 23 Nov 2011 EpistPluralism.pdf 20:11, Sun 7 Nov 2010 estcollabpuzzle.pdf 07:18, Sat 1 Mar 2008 examguidance2008 11:57, Tue 6 May 2008 ExamRevision2009 15:07, Tue 12 May 2009 ExamSkeleton.pdf 12:19, Thu 25 Apr 2013 ExamSkeleton2014.pdf 12:19, Thu 25 Apr 2013 ExamSkeleton.pdf 12:43, Tue 31 Jan 2012 excitingie.pdf 11:05, Thu 30 Nov 2006 ExperimentalParadox.pdf 23:23, Thu 3 Nov 2011 ExsSudoku.pdf 13:41, Fri 29 Feb 2008 feedbackAbsts.pdf 17:12, Mon 17 Mar 2008 Feedback-WEB-EM-7 16:19, Fri 4 Mar 2011 fict1.pdf 10:14, Fri 22 Dec 2006 fict2.pdf 10:14, Fri 22 Dec 2006 fict3.pdf 10:14, Fri 22 Dec 2006 fict4.pdf 10:14, Fri 22 Dec 2006 fictspicts.pdf 09:23, Wed 4 Dec 2013 FivePromisesBL 15:41, Wed 20 Nov 2013 FormalSpecHeapsort.pdf 20:32, Sun 24 Feb 2008 FundDiagEM.pdf 10:37, Tue 15 May 2012 gc0.pdf 11:05, Thu 30 Nov 2006 heapsortcontext.pdf 11:17, Fri 19 Nov 2010 HeapsortCribsheet09 17:27, Mon 23 Nov 2009 HeapSortCribsheet2011.pdf 14:48, Wed 23 Nov 2011 HeapsortCribsheet.pdf 20:31, Sun 24 Feb 2008 heapsortmoral2013.pdf 13:12, Mon 28 Oct 2013 heapsortmoral.pdf 15:44, Fri 8 Dec 2006 heapsortmoral.pdf 20:29, Sun 24 Feb 2008 historicryaccids.pdf 09:56, Wed 4 Dec 2013 howpaper.pdf 15:55, Fri 8 Dec 2006 humancomputing12.pdf 22:55, Thu 6 Dec 2012 humcom10.pdf 11:40, Thu 7 Dec 2006 humcom11.ppt 09:23, Tue 8 Dec 2009 humcom12.pdf 14:37, Wed 23 Nov 2011 humcom2013.pdf 14:31, Thu 5 Dec 2013 icalt05.pdf 17:26, Thu 3 May 2007 icde.pdf 15:14, Wed 20 Nov 2013 ieweb.pdf 22:40, Fri 8 Feb 2008 ImaginedLogo.pdf 20:08, Sun 7 Nov 2010 imaginelogo-croevideo.pdf 15:14, Wed 20 Nov 2013 intelligence.pdf 17:11, Sun 18 Oct 2009 introconcindex.pdf 20:36, Thu 19 Feb 2009 introconc.pdf 20:37, Wed 24 Nov 2010 introconstructionism2013.pdf 15:14, Wed 20 Nov 2013 introconstructionism.pdf 19:52, Sun 7 Nov 2010 introdraughtsEx.pdf 11:00, Tue 29 Oct 2013 IntroducingDonaldScout 12:10, Sun 15 Nov 2009 IntroducingEDEN 12:09, Sun 15 Nov 2009 IntroEDEN.pdf 10:44, Tue 26 Oct 2010 IntroEM1.pdf 14:05, Fri 16 Jan 2009 introLab2.pdf 17:11, Sun 18 Oct 2009 IntrotoCS405.pdf 17:12, Mon 30 Sep 2013 introtodefnotandtkeden.pdf 11:05, Thu 30 Nov 2006 introtodefnotandtkeden.ps 11:05, Thu 30 Nov 2006 jugs2010.pdf 21:30, Sun 14 Nov 2010 JUGShandout.pdf 11:21, Mon 28 Jan 2008 KKlectureDec2011.pdf 10:57, Thu 8 Dec 2011 lab1.pdf 09:03, Fri 9 Jan 2009 lab1.pdf 11:05, Thu 30 Nov 2006 lab1.ps 11.05, Thu 30 Nov 2006 lab2.pdf 17:36, Wed 16 Jan 2008 lab2addans.pdf 20:29, Sun 16 Mar 2008 lab2answers.pdf 20:30, Sun 16 Mar 2008 lab2.pdf 11:05, Thu 30 Nov 2006 lab2.ps 11:05, Thu 30 Nov 2006 lab3.pdf 11:05, Thu 30 Nov 2006 lab3.pdf 11:29, Thu 31 Jan 2008 lab3.ps 11.05, Thu 30 Nov 2006 lab3 10.13, Tue 20 Oct 2009 lab4-note.txt 11.05, Thu 30 Nov 2006 lab4.pdf 11:05, Thu 30 Nov 2006 lab4.ps 11:05, Thu 30 Nov 2006 lab5addendum 21:16, Wed 4 Nov 2009 lab5.pdf 11:05, Thu 30 Nov 2006 lab5.ps 11:05, Thu 30 Nov 2006 lab6.pdf 11:05, Thu 30 Nov 2006 lab6.ps 11.05, Thu 30 Nov 2006 lab7.pdf 11:05, Thu 30 Nov 2006 lab7.ps 11:05, Thu 30 Nov 2006 lec1rbw.pdf 11:05, Thu 30 Nov 2006 lec3-4.pdf 11:05, Thu 30 Nov 2006 lec5a.pdf 11:05, Thu 30 Nov 2006 lec5b.pdf 11:05, Thu 30 Nov 2006 lec5c.pdf 11:05, Thu 30 Nov 2006 lec6_4.pdf 11:05, Thu 30 Nov 2006 lec8.pdf 11:05, Thu 30 Nov 2006 lect4_lsdfordomanalysisdesc.pdf 12:20, Sat 11 Dec 2010 lect5_lsdandadm.pdf 12:54, Sat 11 Dec 2010 lectmon2.pdf 14:01, Mon 11 Oct 2010 ["More about Cadence for EM"] lectMon2.pdf 14:40, Wed 12 Oct 2011 lectthu1slides.pdf 11:16, Fri 8 Oct 2010 lectThu1Text.pdf 16:27, Fri 7 Oct 2011 lectthu3.pdf 11:51, Fri 22 Oct 2010 lectthu.pdf 11:16, Fri 8 Oct 2010 lecture10.pdf 08:52, Wed 6 Feb 2008 lecture11.pdf 06:14, Tue 12 Feb 2008 lecture13.pdf 21:18, Mon 18 Feb 2008 lecture14.pdf 12:10, Mon 3 Mar 2008 lecture17.pdf 14:47, Fri 7 Mar 2008 lecture2.pdf 11:05, Thu 30 Nov 2006 lecture2.pdf 16:38, Fri 11 Jan 2008 lecture2sbr.pdf 17:12, Sun 18 Oct 2009 lecture3.pdf 22:13, Wed 16 Jan 2008 lecture4.pdf 22:14, Wed 16 Jan 2008 lecture5.pdf 12:30, Tue 22 Jan 2008 lecture6.pdf 12:30, Tue 22 Jan 2008 lecture789.pdf 11:37, Fri 30 Jan 2009 lecture7.pdf 15:53, Mon 28 Jan 2008 lecture8.pdf 08:46, Wed 6 Feb 2008 lecture9.pdf 09:11, Wed 6 Feb 2008 lectureslidesccare.pdf 12:48, Sat 11 Dec 2010 lessonsoflogic.pdf 10:18, Fri 22 Dec 2006 licklider.pdf 11:41, Thu 7 Dec 2006 liftdemo.pdf 17:12, Sun 18 Oct 2009 liftscenario.pdf 11:06, Fri 22 Oct 2010 logorevisited.pdf 19:38, Sun 7 Nov 2010 logoroom.e 08:14, Wed 6 Feb 2008 logoroompict.pdf 08:40, Wed 6 Feb 2008 london-basin.jpg 11.05, Thu 30 Nov 2006 LPfromanEMperspective.pdf 18:07, Thu 3 Oct 2013 [Bret Victor's 'Learnable Programming'] LSDexercises.pdf 21:06, Fri 29 Feb 2008 lsdlecture.pdf 11:05, Thu 30 Nov 2006 lsdoda.pdf 12:19, Sat 11 Dec 2010 LSD+oda.pdf 13:13, Wed 23 Oct 2013 MakingConstrualsML.pdf 17:21, Thu 17 Oct 2013 MattersArisingLab1.pdf 09:14, Wed 6 Oct 2010 MattersArisingLab1.pdf 15:34, Tue 6 Oct 2009 MattersArisingLab1.pdf 21:03, Mon 3 Oct 2011 mensaprob.pdf 17:13, Sun 18 Oct 2009 milner.pdf 11:05, Thu 30 Nov 2006 modelling.pdf 16:55, Fri 15 Dec 2006 ModesofDefnDOSTEandEDEN 11:45, Mon 9 Nov 2009 moreaboutcoursework 17:07, Sun 18 Nov 2012 MoreAboutDOSTEandEDEN.pdf 11:15, Sat 5 Dec 2009 mto.pdf 15:14, Wed 20 Nov 2013 multiagentem.pdf 09:35, Fri 3 Dec 2010 musicsemantics.pdf 22:55, Thu 6 Dec 2012 NoSilverBullet.pdf 17:34, Sun 10 Feb 2008 Noteforlab1.pdf 09:15, Wed 6 Oct 2010 Noteforlab1.pdf 15:39, Tue 6 Oct 2009 Noteforlab1.pdf 21:31, Mon 3 Oct 2011 notes_11_03.pdf 14:28, Fri 8 Dec 2006 NotesforLab1.pdf 21:12, Mon 30 Sep 2013 Notes on constructionism 16:02, Wed 18 Mar 2009 NotesOnEden.pdf 17:53, Tue 18 Mar 2008 notesrailacc.pdf 11:05, Thu 30 Nov 2006 oda.pdf 17:14, Sun 18 Oct 2009 onionmetaphor2012.pdf 23:19, Wed 7 Nov 2012 onionmetaphor.pdf 23:07, Thu 3 Nov 2011 orient2012.pdf 21:55, Mon 15 Oct 2012 outcomes.pdf 12:11, Wed 21 Jan 2009 oxoAnt2006guide.pdf 18:18, Thu 24 Oct 2013 oxodmt.pdf 22:17, Wed 20 Feb 2008 oxo.m 14:20, Sat 26 Oct 2013 oxoMiranda.pdf 11:31, Wed 13 Feb 2008 oxoMiranda.pdf 21:31, Sun 14 Nov 2010 oxonotes.pdf 21:31, Sun 14 Nov 2010 palin.e 09:34, Tue 11 Oct 2011 PersonalConstrualVi 11:29, Sun 15 Nov 2009 PhilosophicalPerspectives.pdf 20:12, Tue 11 Mar 2008 PracExercises.pdf 22:15, Wed 16 Jan 2008 PreparingPaper.pdf 17:11, Mon 17 Mar 2008 ProgEMpersp.pdf 13:13, Wed 23 Oct 2013 RailAcc.pdf 11:58, Thu 29 Nov 2012 readme.txt 15:40, Fri 8 Dec 2006 reflectDoste.pdf 16:23, Fri 7 Oct 2011 reflectDoste.pdf 17:12, Thu 8 Oct 2009 ReflectLab1.pdf 17:12, Thu 8 Oct 2009 RethinkingProgrammngNotes.pdf 20:29, Sun 24 Feb 2008 rethinkprog.pdf 14:28, Fri 8 Dec 2006 ReviewMWDSinEDEN.pdf 12:47, Mon 14 Oct 2013 ReviewMWDSinEDEN.pdf 23:32, Wed 7 Nov 2012 RoeBeynonEuorlogo2007.pdf 08:48, Wed 6 Feb 2008 room.d 11:05, Thu 30 Nov 2006 RoomsExamples 09:15, Tue 17 Nov 2009 roomviewer.s 08.36, Thu 17 Jan 2008 roomviewerscript.pdf 12:56, Fri 16 Jan 2009 rotring.e 14:14, Mon 11 Oct 2010 run.e 15:40, Fri 8 Dec 2006 scoutguide.pdf 11:05, Thu 30 Nov 2006 SemAnimLSD.pdf 09:36, Fri 30 Nov 2012 Session2.3.pdf 13:00, Mon 14 Oct 2013 Session4.3.pdf 17:54, Thu 24 Oct 2013 Single-MultiAgentMod 09:16, Tue 17 Nov 2009 sin.pdf 20:18, Mon 25 Feb 2008 Snapshot Following 15:01, Wed 20 Nov 2013 snapshotfollowing.pdf 09:15, Tue 17 Nov 2009 SomeOXOobs.pdf 23:44, Thu 3 Nov 2011 Some useful diagrams 11:55, Sun 10 Mar 2013 Some useful diagrams 12:00, Sun 10 Mar 2013 Some useful diagrams (pdf) 11.55, Sun 10 Mar 2013 Some useful diagrams (ppt) 12.00, Sun 10 Mar 2013 stargatedial.e 14:14, Mon 11 Oct 2010 stateDewey.pdf 13:13, Wed 23 Oct 2013 stateDewey.pdf 14:02, Mon 11 Oct 2010 stateDewey.pdf 17:13, Sun 18 Oct 2009 sudoku.pdf 15:11, Thu 28 Feb 2008 SWdevinEM+HarelStatecharts.pdf 23:33, Thu 6 Dec 2012 sysdevemeval.pdf 20:13, Tue 11 Mar 2008 systemintro.pdf 15:46, Fri 8 Dec 2006 talkicalt04.pdf 17:32, Thu 3 May 2007 TamworthAccLSD.pdf 14:54, Fri 7 Mar 2008 TamworthAccMaps.pdf 14:54, Fri 7 Mar 2008 TamworthAcc.pdf 14:53, Fri 7 Mar 2008 tedcslides.pdf 15:53, Fri 8 Dec 2006 theadm.pdf 12:54, Sat 11 Dec 2010 theadm.pdf 16:15, Fri 7 Mar 2008 TimMonks.pdf 23:07, Wed 7 Nov 2012 TLAD03talk.pdf 17:10, Sat 26 Oct 2013 TLAD03talkSelection.pdf 17:10, Sat 26 Oct 2013 Trad-EMdevmodels.pdf 17:36, Thu 24 Oct 2013 Trad-EMdevmodels.pdf 23:34, Thu 6 Dec 2012 train.pdf 14:48, Fri 7 Mar 2008 usefuldiagrams.pdf 12:25, Thu 25 Apr2013 usefuldiagrams.pdf 12:25, Thu 25 Apr 2013 usefuldiags.pdf 06:12, Thu 15 Jan 2009 usefulfigures.pdf 13:51, Mon 21 May 2007 veryweakagent.pdf 20:18, Tue 11 Mar 2008 ViewsAgency.pdf 11:01, Thu 29 Nov 2012 WEB-EM-05 Absts & Feedback 16:31, Wed 18 Mar 2009 WhatIsCS-EM 14:12, Mon 18 Oct 2010 Worksheet5EDDI.pdf 21:44, Thu 14 Feb 2008 WSintroLab3.pdf 11:42, Fri 22 Oct 2010 wsintro.pdf 09:16, Tue 16 Oct 2012