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
