INF5130 - H?st 2011

Teaching plan

DateTeacherPlaceTopicLecture notes / comments
26.08.2011Daniela Lepri? OJD 2453 Seminarrom Perl? Introduction? Note: It is mandatory to attend to the first lecture! 26. august. We will start at 9:15

Course introduction/Maude repetition.

Slides

Code for some of the exercises?

31.08.2011Daniela Lepri? OJD 2423 Seminarrom Java? Assignment #1 ? Mandatory assignment #1: Modeling and analysis of a communication protocol.

Slides

Assignment 1 RBP paper?

07.09.2011Daniela Lepri? ? Metaprogramming 1: The representation of modules? Slides?
14.09.2011Daniela Lepri? ? Exercises from slide set 3? Solutions?
21.09.2011Daniela Lepri? OJD 2438 Seminarrom Logo? Metaprogramming 2: Execution and strategies ? Deadline assignment #1

Slides?

28.09.2011Daniela Lepri? OJD 2438 Seminarrom Logo? Exercises from slide set 4? Mandatory assignment #2

Assignment 2 nspk test-assign2

Solutions?

05.10.2011Daniela Lepri? OJD 2438 Seminarrom Logo ? Introduction to part 2 of the course? Slides

Topic I: Model checking Curriculum Paper 1 Paper 2

Topic II: Biological cells Curriculum Paper

Topic III: Strategy language Curriculum Paper

Topic IV: Narrowing Curriculum Paper

Topic V: Real-Time Systems Curriculum Paper

Topic VI: Mobile Maude Curriculum Paper 1 Paper 2?

12.10.2011Daniela Lepri? OJD 2438 Seminarrom Logo ? An introduction to temporal logic ? Slides?
19.10.2011? ? No lecture? ?
26.10.2011Daniela Lepri? OJD 2438 Seminarrom Logo? Teacher presentation? Deadline assignment #2

Topic II (Daniela)?

02.11.2011? OJD 2438 Seminarrom Logo ? Student presentations? Topic III (Eyvind)

Topic IV (Peter)?

09.11.2011? OJD 2438 Seminarrom Logo? Student/Teacher presentations? Topic V (Lucian)

Topic I (Daniela)?

No more lectures

DateTeacherPlaceTopicLecture notes / comments
07.12.2011? ? ? Final exam, starting at 10.00?
Publisert 17. aug. 2011 15:44 - Sist endret 24. nov. 2011 17:25
Del p? e-post