INF5130 - H?st 2004

Undervisningsplan

Dato	Undervises av	Sted	Tema	Kommentarer / ressurser
25.08.2004	Peter ?lveczky?	?	Introduksjon/kursinnhold; litt Maude repetisjon?	Foiler(Inneholder oppgaver til uke 2)?
01.09.2004	P. ?lveczky?	?	Innleveringsoppgave 1: Modellering og analyse av en kommunikasjonsprotokoll?	Presentasjon og utlevering av Innleveringsoppgave 1. Foiler. Merk at foilsettet ogs? beskriver hjemmeeksamen 1! Artikkelen 'Reliable Broadcasting in Dynamic Networks' ?
08.09.2004	P. ?lveczky?	?	Metaprogrammering 1: representasjon av moduler?	Slides fra forelesningen (inneholder ukeoppgaver) Filen prelude.maude?
15.09.2004	?	?	?	Ingen forelesning?
22.09.2004	P. ?lveczky?	?	?	Vi gjennomgikk oppgaver?
29.09.2004	P. ?lveczky?	?	Meta-programmering 2: eksekvering og strategier?	Innlevering av oppgave 1. Slides fra forelesningen (inneholder ukeoppgaver) Filen test-meta.maude gir eksempel p? enkel kj?ring av meta-funksjoner Muligens presentasjon og utlevering av oppgave 2.?
06.10.2004	P. ?lveczky?	?	Gjennomgang av oppgavene i foilsett 4. Presentasjon av innleveringsoppgave 2.?	Filen nspk.fm som skal brukes i Innleveringsoppgave 2 Filen test-oblig2.fm som skal brukes i Innleveringsoppgave 2 L?sningsforslag til ukeoppgavene i sett 4 Slides fra forelesning ?Innleveringsoppgave 2??
13.10.2004	?	?	?	Undervisningsfri uke.?
20.10.2004	P. ?lveczky?	?	Oppsummering innleveringsoppgave 1. Presentasjon av kursets Del 3?	Slides fra forelesningen Kildekode for slides til denne forelesning?
27.10.2004	P. ?lveczky?	?	Litt temporallogikk og annen moro?	Slides fra forelesning?
03.11.2004	?	?	?	Ingen forelesning?
10.11.2004	Are Husby og Espen H. Lian?	?	Temporallogisk modell-sjekking?	Studentpresentasjon. Pensum og noen l?se tanker Artikkelen The Maude LTL Model Checker Artikkelen The Maude Model Checker and Its Implementation Maude manualen ?
17.11.2004	Martin Grimeland, Fredrik G. Normann og Stian Thorvaldsen?	?	Sanntidssystemer/Real-Time Maude?	Studentpresentasjon. Pensum og l?se tanker/oppgaver Real-Time Maude hjemmeside (med publikasjoner etc.) Upublisert artikkel som er pensum Artikkel om Timed rewriting logic?
24.11.2004	Henrik D?hli og Joakim Hjert?s?	?	Mobile Maude?	Studentpresentasjon. Pensum og l?se tanker Artikkelen Principles of Mobile Maude Artikkelen A Conference Reviewing System in Mobile Maude ??
01.12.2004	Ivar Alm () og Mass S. Lund (*)?	?	() Biologi og Maude; (*) Analyse ved narrowing-teknikker?	Studentpresentasjoner. Narrowing: Pensum og morsomme sp?rsm?l Pensumsidene fra boken Term rewriting and all that skal jeg kopiere opp; kan f?s hos meg. Pensumartikkelen om narrowing kan f?s fra min gode venn Prasanna Thatis hjemmeside Biologi: Pensum Pensumartikkelen??

Publisert 29. juli 2004 16:58 - Sist endret 2. nov. 2004 19:20