Concurrency (Teknisk IT) (Q1) ( efterår 2008 - 5 ECTS )
Rammer for udbud
-
Uddannelsessprog:
(se under Undervisnings- og arbejdsform)
-
Niveau:
Bachelorkursus
-
Semester/kvarter:
Q1 i 2008 og 2009
-
Timer per uge:
Forelæsninger (3t/uge), holdøvelser (3t/uge)
-
Deltagerbegrænsning:
Ingen
-
Undervisningssted:
Århus
-
Hovedområde:
Det Naturvidenskabelige Fakultet
-
Udbud ID:
12639
Formål
Deltagerne vil efter kurset have indsigt i modelbaseret design og specifikation af concurrent systemer og praktisk erfaring med thread programmering i Java og modelverifikationsværktøjer.
Obligatorisk program
Ugentlige afleveringsopgaver og projekt
Indhold
Concurrency-mekanismer i Java, korrekthedsegenskaber (safety og liveness), modelbaseret design af concurrent programmer, endelige tilstandsmodeller og temporal-logik (LTL). Kurset afsluttes med et praktisk projekt.
Faglige forudsætninger
Underviser
Anders Møller
Undervisnings- og arbejdsform
Forelæsninger (3t/uge), holdøvelser (3t/uge)
Litteratur
Concurrency, State Models & Java Programming, Magee and Kramer, Wiley, 2006, ISBN 0470093560
Kursushjemmeside
http://www.daimi.au.dk/ConcIT
Læringsmål
Deltagerne skal ved afslutningen af kurset kunne:
-
beskrive
og
anvende
concurrency mekanismer i Java.
-
konstruere
modeller af concurrent systemer.
-
formulere
korrekthedsegenskaber.
-
relatere
resultater af modelverifikation til egenskaber ved Java-programmer.
Udbyder
Datalogisk Institut
Tilmelding til undervisning
https://mit.au.dk/
Bedømmelse
-
Skriftlig, bedømt efter 7-skala med intern censur
5 xxxxx
Projekt og multiple choice
7-skala, intern censur, uden hjælpemidler
