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 2010 - 5 ECTS )

Rammer for udbud

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

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.

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

Peter Gorm Larsen og Jens Bennedsen

Undervisnings- og arbejdsform

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

Litteratur

Kompendium

Kursushjemmeside

http://kurser.iha.dk/eit/tisit/

Eksamensterminer

Oktober, reeksamen foregår efter aftale med underviseren

Udbyder

Datalogisk Institut

Tilmelding til undervisning

https://mit.au.dk/

 

Bedømmelse

Mundtlig eksamen (20 min) uden forberedelse, 7-skala, ekstern censur