INF5130 - Autumn 2009

Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
26.08.2009Ingrid Chieh Yu? ? Introduction? Note: It is mandatory to attend to the first lecture! 26. august. We will start at 14:15

Maude repetition.

Slides?

02.09.2009Einar Broch Johnsen? ? Assignment #1? Mandatory assignment #1: Modeling and analysis of a communication protocol.

Slides

Assignment1 RBP paper

Dept. guidelines for mandatory assignments (english, norwegian )?

09.09.2009Einar Broch Johnsen? ? Metaprogramming 1: The representation of modules ? Slides?
16.09.2009Einar Broch Johnsen? ? Exercises from slide set 3? Solutions?
23.09.2009Ingrid Chieh Yu ? ? Metaprogramming 2: Execution and strategies? Deadline assignment #1

Slides?

30.09.2009Einar Broch Johnsen? ? Exercises from slide set 4? Mandatory assignment #2: Iterative depth-first search

Assignment 2 nspk.maude test-assign2.maude

Solutions to exercises?

07.10.2009? ? Introduction to part 2 of the course? Slides

Topic I: Model checking Comments Paper 1 Paper 2

Topic II: Strategy language Comments Paper

Topic III: Biological cells Comments Paper

Topic IV: Real-Time Systems Comments Paper

Topic V: Browser security Comments Paper

Topic VI: Narrowing Comments Paper

Topic VII: Mobile Maude Comments Paper 1 Paper 2??

14.10.2009? ? No lecture? ?
23.10.2009? ? An introduction to temporal logic? Slides?
28.10.2009? ? Student presentations 1? Deadline assignment #2?
04.11.2009? ? No lecture? ?
11.11.2009? ? Student presentations 2 ? ?
18.11.2009? ? Student presentations 3? ?
25.11.2009? ? Student presentations 4? ?
02.12.2009? ? ? ?
09.12.2009? ? ? Exam, room 2H, IFI?
Published Aug. 18, 2009 1:33 PM - Last modified Dec. 7, 2009 5:36 PM
E-mail this page