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. 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
• implementere værktøjer for nye teknologier
• have gode kommunikationsevner (mundligt og skriftligt)
• bruge værktøjer til automatsik afledning af modeller

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
- 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 15. december, 2017