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]

Specifikation af it-systemer (Q1) ( efterår 2008 - 5 ECTS )

Rammer for udbud

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

Formål

Deltagerne vil efter kurset have indsigt i specifikation og modellering af it-systemer og deres omgivelser og praktisk erfaring med udarbejdelse af specifikationer. Kursets arbejdsform vil også træne deltagernes evne til at planlægge og gennemføre projekter og til at formidle og kommunikere faglige problemstillinger.

Obligatorisk program

Ja

Indhold

Studenten lærer teknikker til at specificere og beskrive et it-systems funktionalitet, omgivelser, opførsel og kommunikation. Kurset beskriver, hvordan disse teknikker anvendes i et samspil. Kurset lægger vægt på omhyggeligt at skelne og bygge bro imellem omgivelser og it-systemer og dermed mellem brugerkrav og software-krav. Kursets gennemgang af teknikker er metodeuafhængig, men forskellige konkrete metoder og notationer bruges som eksempler, fx UML.

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

  • beskrive og vurdere specifikationsteknikker,
  • sammenligne og diskutere specifikationsteknikker,
  • kritisere specifikationsteknikker,
  • skrive specifikationer.

Formålet med kurset er at styrke studentens viden om specifikation og modellering af it-systemer. Studenten lærer at udarbejde specifikationer, at vurdere styrker og svagheder i forskellige specifikationsmetoder og bliver kvalificeret til at vælge specifikationsmetoder, der passer til givne projekter. Kurset har fokus på selve specifikationen og i mindre grad på, hvordan en specifikation kan implementeres.

Faglige forudsætninger

Eksperimentel Systemudvikling

Underviser

Søren Christensen

Undervisnings- og arbejdsform

Forelæsninger/øvelser (4t/uge)

Litteratur

Design Methods for Reactive Systems - Yourdon, Statemate, and the UML, R. J. Wieringa, Morgan Kaufmann Publishers, 2003

Kursushjemmeside

http://www.daimi.au.dk/SoITS

Udbyder

Datalogisk Institut

Tilmelding til undervisning

http://www.brics.dk/~mis/enrollment.html

Studieordning og bedømmelse


Bacheloruddannelsen i datalogi

  • Mundtlig, bedømt efter 7-skala med ekstern censur


Mundtlig eksamen (20 min) uden forberedelse (hjælpemidler tilladt)
7-skala, ekstern censur