Kurset giver indsigt i moderne softwareudviklingsteknologier
(d.v.s. principper, metoder, notationer, formalismer, teknikker og
værktøjer). De studerende vil blive gode til at tilegne sig nye
teknologier - fra en praktisk såvel som fra en teoretisk
synsvinkel. Kursets fokus er på teknologier, men kurset kommer også
ind på matematisk formalisering.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
forstå nogle af de moderne software teknologier
have en dyb forståelse af mål og formål af modelering og
abstraktion
tilegne sig nye teknologier
evaluere og udvælge passende teknologier
formalisere modeleringsnotationer
forstå og anvende teknologier for at relatere og forfine
modeller
implementere værktøjer for nye teknologier
have gode kommunikationsevner (mundligt og
skriftligt)
Kursusindhold:
Kurset fokuserer på modelbaseret softwareudvikling og
støtte-teknologier. Desuden fremstilles sammenhæng til formelle
modeleringsteknologier (jf. 02263).
Kurset indeholder avancerede og relevante emner af moderne og
fremtidige softwarudviklingsteknologier.
- Forskellige moderne fremgangsmåder for softwarudvikling
- Modelleringsnotationer på forskellieg abstraktionsniveauer
- Notationer til modeltransformation og -synkronisation
- Teknologier til automatisk at udføre modeller (simulation,
interpretation, kodegenerering)
- Relation til matematiske modeller
- Evaluering, analyse og anvendelse af eksisterende teknologier og
værktøjer
Mulighed for GRØN DYST deltagelse:
Kontakt underviseren for information om hvorvidt dette kursus giver
den studerende mulighed for at lave eller forberede et projekt som
kan deltage i DTUs studenterkonference om bæredygtighed,
klimateknologi og miljø (GRØN DYST). Se mere på http://www.groendyst.dtu.dk
