AU kursuskatalog arkiv

Concurrency (Datalogi) (Q1) ( efterår 2010 - 5 ECTS )

Rammer for udbud

• Uddannelsessprog: engelsk (eller dansk)
• Niveau: Bachelorkursus
• Semester/kvarter: Q1
• Timer per uge: 6
• Deltagerbegrænsning: Ingen
• Undervisningssted: Århus
• Hovedområde: Det Naturvidenskabelige Fakultet
• Udbud ID: 18975

Formål

Deltagerne vil efter kurset have indsigt i modelbaseret design, specifikation og verifikation af concurrent systemer og praktisk erfaring med thread programmering i Java og modelverifikationsværktøjer.

Obligatorisk program

Ugentlige afleveringsopgaver

Indhold

Concurrency-mekanismer i Java, korrekthedsegenskaber (safety og liveness), modelbaseret design af concurrent programmer, endelige tilstandsmodeller, temporal-logik (LTL), verifikation med Büchi-automater.

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

• beskrive og anvende concurrency mekanismer i Java.
• konstruere modeller af concurrent systemer.
• formulere korrekthedsegenskaber.
• beskrive algoritmer for modelverifikation.
• relatere resultater af modelverifikation til egenskaber ved Java-programmer.

Faglige forudsætninger

Programmeringssprog, Regularitet og Automater, Beregnelighed og Logik

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/dConc

Skemaplacering (forelæsninger)

Blokpar F, fredag 11-14

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

Skriftlig eksamen (2 timer), ingen hjælpemidler,
7-skala, intern censur