Specifikation af it-systemer (Q1) ( efterår 2007 - 5 ECTS )
Rammer for udbud
-
Uddannelsessprog:
(se under Undervisnings- og arbejdsform)
-
Niveau:
Valgfrit overbygningskursus
-
Semester/kvarter:
Q1 i 2007
-
Timer per uge:
-
Deltagerbegrænsning:
-
Undervisningssted:
Århus
-
Hovedområde:
Det Naturvidenskabelige Fakultet
-
Udbud ID:
7987
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
dEkspSys
Underviser
Jens Bæk Jørgensen og Kristian Bisgaard Lassen
Undervisnings- og arbejdsform
Forelæsninger/øvelser (4 t/uge)
Litteratur
Design Methods for Reactive Systems - Yourdon, Statemate, and the UML, R. J. Wieringa, Morgan Kaufmann Publishers, 2003
Litteratur
Design Methods for Reactive Systems - Yourdon, Statemate, and the UML, R. J. Wieringa, Morgan Kaufmann Publishers, 2003
Kursushjemmeside
http://www.daimi.au.dk/
Udbyder
Datalogisk Institut
Tilmelding til undervisning
http://www.brics.dk/~mis/enrollment.html
Studieordning og bedømmelse
-
Mundtlig, bedømt efter 7-skala med ekstern censur
Projekt og mundtlig eksamen
7-skala, ekstern censur
