INF5130 - H?st 2005

Undervisningsplan

Dato	Undervises av	Sted	Tema	Kommentarer / ressurser
31.08.2005	Einar B. Johnsen?	?	Introduksjon & kursinnhold?	Litt Maude repetisjon. Foiler ?
07.09.2005	Einar B. Johnsen?	?	Innleveringsoppgave 1: Modellering og analyse av en kommunikasjonsprotokoll ?	Foiler Utlevering av innleveringsoppgave 1. Oppgaveteksten ligger her . RBP-artikkelen ligger her . Instituttets retningslinjer for innleveringsoppgaver: norsk versjon , engelsk versjon .?
14.09.2005	Einar B. Johnsen ?	?	Metaprogrammering 1: representasjon av moduler ?	Foiler ?
21.09.2005	Einar B. Johnsen?	?	Gjennomgang av oppgavene i foilsett 3.?	L?sningsforslag til oppgavene fra forrige uke.?
28.09.2005	?	?	Undervisningsfri uke ?	Innlevering av oppgave 1.?
05.10.2005	Einar B. Johnsen?	?	Meta-programmering 2: eksekvering og strategier ?	Foiler Utlevering av innleveringsoppgave 2. Oppgaveteksten ligger her . Filene nspk.fm og test-oblig2.fm som skal brukes i Innleveringsoppgave 2?
12.10.2005	Ivar Alm?	?	Oppgavegjennomgang?	Gjennomgang av oppgavene i foilsett 4 og innleveringsoppgave 1. L?sningsforslag ?
19.10.2005	Einar B. Johnsen?	?	Presentasjon av kursets del 3 ?	Foiler?
26.10.2005	?	?	Undervisningsfri uke?	Innlevering av oppgave 2.?
02.11.2005	Einar B. Johnsen og Ivar Alm?	?	Litt temporallogikk og annen moro?	Foiler Gjennomgang av innleveringsoppgave 2. ?
09.11.2005	Arild Torjusen?	?	Modell-sjekking av Maude spesifikasjoner?	Pensumpresisering Artikkel 1 Artikkel 2?
16.11.2005	Marius Storeide, Johannes Gr?dem?	?	Sanntidssystemer og Real-Time Maude?	Pensumpresisering Artikkel 1 Artikkel 2 Artikkel 3?
16.11.2005	Christian M. Hansen, Erik Haga?	?	Inductive theorem prover?	Pensumpresisering Artikkel 1 Artikkel 2 NB: Den tredje artikkelen er tatt ut av pensum.?
23.11.2005	Siri Fagernes, Kyrre Begnum?	?	Mobile Maude?	Pensumpresisering Artikkel 1 Artikkel 2?
23.11.2005	Ingrid Yu, Johan Dovland?	?	Narrowing analyse?	Pensumpresisering Artikkel?
28.11.2005	Einar B. Johnsen, Peter C. ?lveczky?	?	Repetisjonstime?	Tid: Kl. 10:15-12:00. Sted: Styrerommet p? Ifi. Dere m? komme med innspill p? temaer dere ?nsker ? g? gjennom (p? email til foreleser).?
01.12.2005	?	?	?	Eksamen Sted: seminarrom 2G, Ifi Tid: Oppm?te kl. 09?

Publisert 2. aug. 2005 16:28 - Sist endret 26. nov. 2005 10:19