| 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, Forskningsparken | Modell-sjekking av Maude spesifikasjoner | Pensum Artikkel 1 Artikkel 2 |
| 09.11.2007 | Hallstein Asheim Hansen | 41151, Forskningsparken | Mobile Maude | Pensum Artikkel 1 Artikkel 2 |
| 16.11.2007 | Bjarne Holen | 41151, Forskningsparken | Narrowing | Pensum Artikkel |
| 16.11.2007 | Lars Overå | 41151, Forskningsparken | 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