Kursplan - Modellbaserad utveckling

Syfte

Modellbaserad utveckling är en teknik som syftar till att minska komplexiteten i att utveckla och hantera modern programvara genom att utnyttja modeller. Trots att den är relativt ny får metoden allt större intresse inom industrin, som ser den som en möjlig lösning på ständigt ökande kvalitetsfaktorer, såsom "time-to-market", prestanda och förenklat underhåll. Kursens ger grundläggande kunskap inom mjukvarumodellering och automatisk implementationsgenerering från modeller, med särskilt fokus på hur man hanterar att modeller förändras över tiden. Studenterna kommer även att få kännedom om den senaste utvecklingen inom området, inom forskningen såväl som industrin.

Lärandemål

Efter avklarad kurs skall studenten:
1. Kunna redogöra för state-of-the-art och aktuella forskningsfrågor inom modelldriven utveckling.
2. Förstå möjligheterna och begränsningarna med modellbaserad utveckling för automatiserad generering av programvara.
3. Kunna utvärdera scenarion och tillämpa lämpliga modelleringstekniker i utvecklingsprojekt.
4. Kunna analysera påverkan från framtida förändringar, och förutse möjliga problem i hanteringen av applikationens livscykel.

Innehåll

Kursen fokuserar på modellbaserad utveckling. Grunderna i mjukvarumodellering kommer att tas upp tillsammans med relaterade frågor kring automatisk generering av motsvarande artefakter (modeller, kod, dokumentation) och evolutionshantering.
I kursinnehållet ingår bland annat:
- Introduktion till programvaruutveckling och modellering
- Modellbaserad utveckling, modellbaserad arkitektur
- UML, modelleringsspråk, metamodellering, profilering, aktionsspråk, domänspecifika språk
- Modelltransformering, klassificering, klassificering av modelltransformationer
- "Model weaving" och andra högre ordningens transformationer
- Evolutionshantering inom modellbaserad utveckling
- Versionshantering för modeller (differensberäkning och representation), konflikter
- Modellsynkronisering, inkrementell synkronisering, transformationer som propagerar förändringar
- Evolution av metamodeller och co-evolution av modeller
- Andra relevanta typer av kopplad evolution (grammatiker, XML och dokumentformat, scheman)
Innehållet speglar både aktuella forskningsfrågor och industriell tillämpning. Delar av kursinnehållet kommer att presenteras i form av gästföreläsningar av inbjudna forskare och industriexperter.

Undervisning

Föreläsningar och seminarier.

Särskild behörighet

Minst 120 hp varav minst 60 hp datavetenskap vari ingår grundläggande kunskaper i programvaruteknik. Detta kan uppnås genom att ha avslutat kursen Programvaruteknik 1: Grundkurs 7,5 hp eller Speldesign och programvaruteknik 7,5 hp eller motsvarande. Dessutom krävs Svenska B/Svenska 3 samt Engelska A/Engelska 6. I de fall kursen ges på engelska görs undantag från kravet på Svenska B/Svenska 3.

Examination

Inlämningsuppgift, övningsuppgift (INL1), rapporter (individuellt), 5 hp, betyg Underkänd (U), 3, 4 eller 5, (examinerar lärandemål 1-2)
Seminarium (SEM1), seminarepresentationer, projekt (i grupp), 2,5 hp, betyg Underkänd (U) eller Godkänd (G), (examinerar lärandemål 2-4)

En student som har ett intyg från MDU avseende sin funktionsnedsättning har möjlighet att anmäla önskemål om anpassning vid salstentamina eller annan examinationsform i enlighet med Regler och anvisningar för examination på grundnivå och avancerad nivå vid Mälardalens högskola (2020/1655). Det är examinator som, utifrån det intyg som utfärdats, beslutar om eventuell anpassning och i så fall vilken anpassning som ska gälla.

Misstankar om vilseledande vid examination (fusk) anmäls, enligt högskoleförordningen, till universitetets rektor och prövas av universitetets disciplinnämnd. Om disciplinnämnden anser att en student gjort sig skyldig till en disciplinförseelse fattar nämnden beslut om en disciplinär åtgärd, vilket är varning eller avstängning.

Betyg

Ges något av betygen 5, 4, 3

Övergångsbestämmelser och övriga föreskrifter

Kursen överlappar helt med DVA411 Modellbaserad utveckling, 7,5 hp.