Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
26.08.2009Ingrid C. Yu? ? Introduksjon og Kursinnhold? Husk: Obligatorisk oppm?te p? 1. forelesning!

Maude repetisjon.

Slides?

02.09.2009Einar B. Johnsen? ? Innleveringsoppgave 1? Utlevering av innleveringsoppgave 1: Modellering og analyse av en kommunikasjonsprotokoll.

Slides Slides in English

Obligatorisk oppgave 1 Assignment 1

RBP

Instituttets retningslinjer for innleveringsoppgaver: norsk versjon , engelsk versjon .?

09.09.2009? ? Metaprogrammering 1: Representasjon av moduler? Slides?
16.09.2009Ingrid C. Yu? ? Oppgavene fra foilsett 3? L?sningsforslag?
26.09.2007Ingrid C. Yu? ? Metaprogrammering 2: Eksekvering og strategier.? Innlevering av oppg. 1

Slides?

03.10.2007Ingrid C. Yu? ? Oppgavegjennomgang, foilsett 4? L?sningsforslag, foilsett 4

Utlevering av innleveringsoppgave 2

Obligatorisk oppgave 2

test-oblig2.fm inneholder s?k som din s?kestrategi skal testes p?

NSPK?

10.10.2007No lecture this week ? ? ? ?
17.10.2007Ingrid C. Yu? ? Introduksjon av kursets del 3? Slides?
24.10.2007Ingrid C. Yu? ? Litt temporallogikk ? Innlevering av oppg. 2

Slides?

31.10.2007No lecture this week? ? ? ?
09.11.2007Jasmin Christian Blanchette? 41151, 澳门葡京手机版app下载sparken? Modell-sjekking av Maude spesifikasjoner? Pensum?Artikkel 1?Artikkel 2?
09.11.2007Hallstein Asheim Hansen? 41151, 澳门葡京手机版app下载sparken? Mobile Maude ? Pensum?Artikkel 1?Artikkel 2?
16.11.2007Bjarne Holen? 41151, 澳门葡京手机版app下载sparken? Narrowing? Pensum?Artikkel?
16.11.2007Lars Over?? 41151, 澳门葡京手机版app下载sparken? Sanntidssystemer og Real-Time Maude ? Pensum?Artikkel 1?Artikkel 2?Artikkel 3?
22.11.2007? ? ? Eksamen?
Publisert 2. aug. 2007 15:17 - Sist endret 17. aug. 2009 12:29