| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 26.08.2009 | Ingrid C. Yu? | ? | Introduksjon og Kursinnhold? | Husk: Obligatorisk oppm?te p? 1. forelesning!Maude repetisjon.Slides? |
| 02.09.2009 | Einar B. Johnsen? | ? | Innleveringsoppgave 1? | Utlevering av innleveringsoppgave 1: Modellering og analyse av en kommunikasjonsprotokoll.Slides Slides in EnglishObligatorisk oppgave 1 Assignment 1RBPInstituttets retningslinjer for innleveringsoppgaver: norsk versjon , engelsk versjon .? |
| 09.09.2009 | ? | ? | Metaprogrammering 1: Representasjon av moduler? | Slides? |
| 16.09.2009 | Ingrid C. Yu? | ? | Oppgavene fra foilsett 3? | L?sningsforslag? |
| 26.09.2007 | Ingrid C. Yu? | ? | Metaprogrammering 2: Eksekvering og strategier.? | Innlevering av oppg. 1Slides? |
| 03.10.2007 | Ingrid C. Yu? | ? | Oppgavegjennomgang, foilsett 4? | L?sningsforslag, foilsett 4Utlevering av innleveringsoppgave 2Obligatorisk oppgave 2test-oblig2.fm inneholder s?k som din s?kestrategi skal testes p?NSPK? |
| 10.10.2007 | No lecture this week ? | ? | ? | ? |
| 17.10.2007 | Ingrid C. Yu? | ? | Introduksjon av kursets del 3? | Slides? |
| 24.10.2007 | Ingrid C. Yu? | ? | Litt temporallogikk ? | Innlevering av oppg. 2Slides? |
| 31.10.2007 | No lecture this week? | ? | ? | ? |
| 09.11.2007 | Jasmin Christian Blanchette? | 41151, 亚博娱乐官网_亚博pt手机客户端登录sparken? | Modell-sjekking av Maude spesifikasjoner? | Pensum?Artikkel 1?Artikkel 2? |
| 09.11.2007 | Hallstein Asheim Hansen? | 41151, 亚博娱乐官网_亚博pt手机客户端登录sparken? | Mobile Maude ? | Pensum?Artikkel 1?Artikkel 2? |
| 16.11.2007 | Bjarne Holen? | 41151, 亚博娱乐官网_亚博pt手机客户端登录sparken? | Narrowing? | Pensum?Artikkel? |
| 16.11.2007 | Lars Over?? | 41151, 亚博娱乐官网_亚博pt手机客户端登录sparken? | Sanntidssystemer og Real-Time Maude ? | Pensum?Artikkel 1?Artikkel 2?Artikkel 3? |
| 22.11.2007 | ? | ? | ? | Eksamen? |
Undervisningsplan
Publisert 2. aug. 2007 15:17
- Sist endret 17. aug. 2009 12:29