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/kursustilmelding.aspx