| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 30.08.2006 | Einar B. Johnsen? | ? | Introduksjon & kursinnhold? | Litt Maude repetisjon. Slides Husk: Obligatorisk oppm?te p? 1. forelesning!? |
| 06.09.2006 | Ingrid C. Yu? | 3D? | Innleveringsoppgave 1: Modellering og analyse av en kommunikasjonsprotokoll ? | Utlevering av innleveringsoppgav 1 SlidesObligatorisk oppgave 1 RBP? |
| 13.09.2006 | Einar B. Johnsen? | ? | Metaprogrammering 1: representasjon av moduler ? | Slides? |
| 20.09.2006 | Ingrid C. Yu? | ? | Gjennomgang av oppgavene fra foilsett.? | ? |
| 27.09.2006 | Ingrid C. Yu? | ? | Meta-programmering 2: eksekvering og strategier ? | Innlevering av oppgave1.Slides? |
| 04.10.2006 | Ingrid C. Yu? | ? | Oppgavegjennomgang innleveringsoppgave 1? | Utlevering av innleveringsoppgave 2. Obligatorisk oppgave 2 test-oblig2.fm inneholder s?k som din s?kestrategi skal testes p?NSPK? |
| 11.10.2006 | Einar B. Johnsen? | ? | Presentasjon av kursets del 3 ? | Slides ? |
| 18.10.2006 | ? | ? | Ingen forelesning? | ? |
| 25.10.2006 | Einar B. Johnsen? | ? | Litt temporallogikk og annen moro.? | SlidesInnlevering av oppgave 2.? |
| 01.11.2006 | ? | ? | Studentpresentasjon. Gjennomgang av innleveringsoppgave 2. ? | Tema 1 : Modellsjekking. Pensum Artikkel1 Artikkel2Tema 2 : Sanntidsmodellering. Pensum Artikkel1 Artikkel2? |
| 08.11.2006 | ? | ? | Ingen forelesning? | ? |
| 15.11.2006 | ? | ? | Studentpresentasjon? | Tema 3 : Narrowing. Pensum ArtikkelTema 4 : Mobil Maude. Pensum Artikkel1 Artikkel2? |
| 22.11.2006 | Einar B. Johnsen, Ingrid C. Yu ? | ? | Repetisjonstime?? | ? |
| 29.11.2006 | ? | ? | ? | Eksamen? |
Undervisningsplan
Publisert 1. aug. 2006 18:36
- Sist endret 15. nov. 2006 15:03