Vær opmærksom på at dette website indeholder et arkiv med historiske data. Det aktuelle kursuskatalog findes på kursuskatalog.au.dk

AU kursuskatalog arkiv

[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]

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