AU kursuskatalog arkiv

Concurrency (IT / Teknisk IT) (Q1) ( efterår 2010 - 5 ECTS )

Rammer for udbud

• Uddannelsessprog: engelsk (eller dansk)
• Niveau: Bachelorkursus
• Semester/kvarter:  Q1
• Timer per uge:  Forelæsninger (3t/uge), holdøvelser (3t/uge)
• Deltagerbegrænsning: Ingen
• Undervisningssted: Århus
• Hovedområde: Det Naturvidenskabelige Fakultet
• Udbud ID: 18981

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.

Eksamensterminer

Eksamen: 1. kvarter

Placering: Onsdag den 13. oktober 2010, uge 41

Reeksamen: Januar

http://science.au.dk/uddannelse/undervisning/eksamen/regler-for-tilmelding-til-kurser-med-fastlagt-eksamen/

Udbyder

Datalogisk Institut

Tilmelding til undervisning

https://mit.au.dk/

Bedømmelse

Projekt + Skriftlig eksamen (2 timer), uden hjælpemidler,
7-skala, intern censur