Teaching plan
| Date | Teacher | Place | Topic | Lecture notes / comments |
| 26.08.2011 | Daniela Lepri | OJD 2453 Seminarrom Perl | Introduction | Note: It is mandatory to attend to the first lecture! 26. august. We will start at 9:15Course introduction/Maude repetition. SlidesCode for some of the exercises |
| 31.08.2011 | Daniela Lepri | OJD 2423 Seminarrom Java | Assignment #1 | Mandatory assignment #1: Modeling and analysis of a communication protocol.SlidesAssignment 1 RBP paper |
| 07.09.2011 | Daniela Lepri | Metaprogramming 1: The representation of modules | Slides | |
| 14.09.2011 | Daniela Lepri | Exercises from slide set 3 | Solutions | |
| 21.09.2011 | Daniela Lepri | OJD 2438 Seminarrom Logo | Metaprogramming 2: Execution and strategies | Deadline assignment #1Slides |
| 28.09.2011 | Daniela Lepri | OJD 2438 Seminarrom Logo | Exercises from slide set 4 | Mandatory assignment #2Assignment 2 nspk test-assign2Solutions |
| 05.10.2011 | Daniela Lepri | OJD 2438 Seminarrom Logo | Introduction to part 2 of the course | SlidesTopic I: Model checking Curriculum Paper 1 Paper 2Topic II: Biological cells Curriculum PaperTopic III: Strategy language Curriculum PaperTopic IV: Narrowing Curriculum PaperTopic V: Real-Time Systems Curriculum PaperTopic VI: Mobile Maude Curriculum Paper 1 Paper 2 |
| 12.10.2011 | Daniela Lepri | OJD 2438 Seminarrom Logo | An introduction to temporal logic | Slides |
| 19.10.2011 | No lecture | |||
| 26.10.2011 | Daniela Lepri | OJD 2438 Seminarrom Logo | Teacher presentation | Deadline assignment #2Topic 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
| Date | Teacher | Place | Topic | Lecture notes / comments |
| 07.12.2011 | Final exam, starting at 10.00 |
Publisert 17. aug. 2011 15:44
- Sist endret 24. nov. 2011 17:25