Course Schedule 2005

Sws
When:
  • Tuesdays, 11-13
  • Thursdays, 15-17
Where:
  • BBL-420

Schedule:

Session 1, Thu 8 Sep 2005:

Session 2: Tue 13 Sep 2005:

Session 3, Thu 15 Sep 2005:

Session 5, Thu 22 Sep 2005:

Session 6: Tue 27 Sep 2005:

Session 7, Thu 29 Sep 2005:

Session 8: Tue 4 Oct 2005:

Session 9, Thu 6 Oct 2005:

Session 10, Tue 11 Oct 2005:

Session 11, Thu 13 Oct 2005:

Session 12, Tue 18 Oct 2005:

Session 13, Thu 20 Oct 2005:

Session 14, Tue 25 Oct 2005:

Session 15, Thu 27 Oct 2005:

Session 16, Tue 1 Nov 2005:

Session 17, Thu 3 Nov 2005:


Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf BasicDefs.pdf manage 85.0 K 07 Sep 2005 - 14:44 LambertMeertens  
pdfpdf DB.pdf manage 155.2 K 20 Oct 2005 - 12:59 SanderMak final
pdfpdf DatingReview-groupA.pdf manage 67.9 K 25 Oct 2005 - 08:35 MichielOvereem Goodnight to you from Alameda
pdfpdf DatingServiceMLSpecFinal.pdf manage 83.2 K 20 Oct 2005 - 12:25 MichielOvereem version 3 of the magic matching logic spec
pdfpdf DatingServiceUI.pdf manage 86.0 K 20 Oct 2005 - 12:40 GerboEngels v. 0.2
pdfpdf FinalAssignment.pdf manage 39.2 K 03 Nov 2005 - 10:45 LambertMeertens Intruder! Intruder!
pdfpdf FormalLanguage.pdf manage 59.8 K 06 Oct 2005 - 12:20 LambertMeertens Theory: On Notation for Formal Languages
pdfpdf IGochkov.pdf manage 63.7 K 03 Nov 2005 - 11:39 IvayloGochkov v2
pdfpdf LeastSet.pdf manage 65.4 K 04 Oct 2005 - 01:42 LambertMeertens Theory: On "Least Set" Definitions
jpgjpg LexaNl.jpg manage 30.8 K 18 Oct 2005 - 08:43 MichielOvereem another leak?
pdfpdf Multiplexer.pdf manage 40.0 K 29 Sep 2005 - 12:06 LambertMeertens Data Multiplexer -- Informal Problem Statement
pdfpdf MultiplexerSolution.pdf manage 82.0 K 13 Oct 2005 - 02:03 LambertMeertens Data Multiplexer -- A Specification
pdfpdf Preorder.pdf manage 48.8 K 27 Sep 2005 - 08:18 LambertMeertens Theory: On Preorders
pdfpdf ReactiveSpecs.pdf manage 83.3 K 03 Oct 2005 - 12:12 LambertMeertens Theory: Specifying Reactive Systems
pdfpdf Roshambo.pdf manage 51.6 K 27 Sep 2005 - 15:34 LambertMeertens Trusted Intermediary -- Informal Problem Statement
pdfpdf RoshamboSolution.pdf manage 110.2 K 04 Oct 2005 - 01:39 LambertMeertens Trusted Intermediary -- Some Specifications
pdfpdf S10-Matching.pdf manage 82.1 K 10 Oct 2005 - 18:53 JohnVanSchie Matchingpart
pdfpdf S10-UserInterface.pdf manage 65.4 K 11 Oct 2005 - 08:45 ThomasVanNoort  
pdfpdf S11-DB-Logic.pdf manage 100.3 K 13 Oct 2005 - 10:15 JacobKleerekoper The Database Logic of matching
pdfpdf S11-Logic-DB.pdf manage 92.0 K 13 Oct 2005 - 12:29 MichielOvereem The Database Logic of matching v2
pdfpdf S11-UI-DataBase.pdf manage 76.2 K 13 Oct 2005 - 09:26 ThomasVanNoort  
pdfpdf S11-UI-Logic.pdf manage 79.6 K 13 Oct 2005 - 09:34 JohnVanSchie Inteface GUI <-> Logic
pdfpdf S12-DB.pdf manage 85.1 K 18 Oct 2005 - 08:43 JohnVanSchie Interim DBlayer
pdfpdf S12-MatchingLogic.pdf manage 68.9 K 17 Oct 2005 - 20:51 ThomasVanNoort  
pdfpdf S14-TeamChanghzou.pdf manage 104.6 K 25 Oct 2005 - 08:53 ThomasVanNoort  
pdfpdf S14-TeamChangzhou.pdf manage 113.6 K 24 Oct 2005 - 18:22 ThomasVanNoort  
pdfpdf S2-TeamA.pdf manage 72.3 K 13 Sep 2005 - 08:30 LambertMeertens  
pdfpdf S2-TeamB.pdf manage 42.7 K 13 Sep 2005 - 08:19 LambertMeertens  
pdfpdf S2-TeamC.pdf manage 53.0 K 13 Sep 2005 - 13:41 LambertMeertens  
pdfpdf S3-TeamB.pdf manage 44.4 K 15 Sep 2005 - 12:31 MichielOvereem Solution for assigment 2 (Session 3) by Team B (versie 2)
pdfpdf S3-TeamC.pdf manage 37.2 K 15 Sep 2005 - 12:12 JacobKleerekoper Even more perfect
pdfpdf S4-TeamB.pdf manage 79.4 K 22 Sep 2005 - 08:58 ThomasVanNoort  
pdfpdf S5-TeamA.pdf manage 63.0 K 22 Sep 2005 - 12:29 MichielOvereem Solution for S5 by Team A v4
pdfpdf S5-TeamB.pdf manage 79.4 K 22 Sep 2005 - 09:11 ThomasVanNoort  
pdfpdf S5-TeamC.pdf manage 61.1 K 22 Sep 2005 - 12:20 JohnVanSchie Sollution for S5 by Team C
pdfpdf S6-TeamA.pdf manage 57.8 K 27 Sep 2005 - 08:41 MichielOvereem Versie 4
pdfpdf S6-TeamB.pdf manage 84.2 K 27 Sep 2005 - 08:29 GerboEngels Chopchopchopchop
pdfpdf S6-TeamC.pdf manage 159.6 K 27 Sep 2005 - 08:48 JohnVanSchie v3.2.9 RC
pdfpdf S7-teamA.pdf manage 78.1 K 29 Sep 2005 - 10:39 ThomasVanNoort  
pdfpdf S8-TeamA.pdf manage 77.0 K 04 Oct 2005 - 08:41 MichielOvereem version 3 of team A
pdfpdf S8-TeamB.pdf manage 128.3 K 04 Oct 2005 - 08:49 JacobKleerekoper OK? YES
pdfpdf S8-TeamC.pdf manage 85.0 K 04 Oct 2005 - 08:34 GerboEngels  
pdfpdf S9-TeamB.pdf manage 30.4 K 06 Oct 2005 - 12:35 MichielOvereem  
pdfpdf S9-TeamC.pdf manage 56.7 K 06 Oct 2005 - 12:17 JacobKleerekoper Light up your match
pdfpdf SWS-Introduction.pdf manage 526.9 K 12 Sep 2005 - 09:06 LambertMeertens  
psps SWS-Introduction.ps manage 1603.8 K 08 Sep 2005 - 17:38 LambertMeertens  
pdfpdf Scheduler.pdf manage 86.0 K 22 Sep 2005 - 12:28 LambertMeertens Recipe Scheduler -- Informal Problem Statement
pdfpdf Sort-Jacob.pdf manage 68.0 K 01 Nov 2005 - 09:44 JacobKleerekoper A Binary Ballgame
pdfpdf Sorting-NetworkNode-Thomas.pdf manage 61.7 K 01 Nov 2005 - 08:34 ThomasVanNoort After so much hard work yesterday evening while i was sleeping, my elves finally finished the specification
pdfpdf SortingLocalization.pdf manage 42.8 K 13 Sep 2005 - 15:05 LambertMeertens  
pdfpdf SortingTubes-Michiel.pdf manage 84.1 K 01 Nov 2005 - 09:36 MichielOvereem A first version smile
pdfpdf TeamB-dispensingmachine.pdf manage 132.2 K 27 Oct 2005 - 12:23 MichielOvereem Team Bangelore does it again with their Food-state-machine-turning-screw
pdfpdf TeamB_swsc.pdf manage 106.8 K 29 Sep 2005 - 12:34 SanderMak  
pdfpdf TypeCheckerProblem.pdf manage 37.5 K 10 Sep 2005 - 10:48 LambertMeertens  
pdfpdf TypeCheckerSolution.pdf manage 59.3 K 14 Sep 2005 - 17:11 LambertMeertens  
gifgif YourDatingCom.gif manage 45.5 K 17 Oct 2005 - 14:56 LambertMeertens Leak?
pdfpdf ass05-C.pdf manage 53.3 K 29 Sep 2005 - 12:58 JacobKleerekoper  
pdfpdf ass07.pdf manage 51.0 K 06 Oct 2005 - 11:22 GideonSmeding Team A
pdfpdf chipcard.pdf manage 55.8 K 27 Oct 2005 - 12:23 EricBouwers new thingie fot the thingie
pdfpdf chipcard2.pdf manage 67.9 K 27 Oct 2005 - 12:53 SanderMak updated
pdfpdf coinsorter_sander.pdf manage 68.9 K 01 Nov 2005 - 08:13 SanderMak v2
pdfpdf database.pdf manage 56.0 K 11 Oct 2005 - 07:24 EricBouwers Databasepart
pngpng diagram.png manage 24.9 K 18 Oct 2005 - 08:56 GideonSmeding Dating GUI diagram
pdfpdf elvish-slave-sorting-John.pdf manage 155.3 K 01 Nov 2005 - 08:49 JohnVanSchie Clean, Simple and Cruel
pdfpdf errorShizzle.pdf manage 114.8 K 25 Oct 2005 - 08:52 JacobKleerekoper Greetings from Karnataka
gifgif paperscissorsstone.gif manage 46.2 K 06 Oct 2005 - 12:40 MichielOvereem  
pdfpdf sort.pdf manage 64.0 K 14 Sep 2005 - 22:03 GideonSmeding The specification of team A for the generic sorting problem
pdfpdf sort2.pdf manage 76.3 K 22 Sep 2005 - 12:33 GideonSmeding somewhat more perfect than the last solution
pdfpdf sorter.pdf manage 67.6 K 01 Nov 2005 - 07:31 EricBouwers Sorted it out
pdfpdf splitter-Gerbo.pdf manage 84.7 K 01 Nov 2005 - 09:35 GerboEngels Yeah, the first one! And lots of slides wink
pdfpdf splitter-Gideon.pdf manage 98.4 K 01 Nov 2005 - 09:34 GideonSmeding  
pdfpdf vendingMachine.pdf manage 112.5 K 27 Oct 2005 - 13:00 JohnVanSchie Half an hour before the deadline. A new record!!