Kursplan för Programvaruspråksteknik för domänspecifika språk

Kursplanen innehåller ändringar
Se ändringar

Kursplan fastställd 2020-02-20 av programansvarig (eller motsvarande).

Kursöversikt

  • Engelskt namnSoftware language engineering for domain-specific languages
  • KurskodDAT240
  • Omfattning7,5 Högskolepoäng
  • ÄgareMPSOF
  • UtbildningsnivåAvancerad nivå
  • HuvudområdeDatateknik, Informationsteknik
  • InstitutionDATA- OCH INFORMATIONSTEKNIK
  • BetygsskalaTH - Mycket väl godkänd (5), Väl godkänd (4), Godkänd (3), Underkänd

Kurstillfälle 1

  • Undervisningsspråk Engelska
  • Anmälningskod 24118
  • Max antal deltagare50
  • Sökbar för utbytesstudenterJa

Poängfördelning

0110 Tentamen 3 hp
Betygsskala: TH		 3 hp
  • 17 Mar 2021 fm L
  • 09 Jun 2021 em L
  • 16 Aug 2021 em L
0210 Projekt 4,5 hp
Betygsskala: UG		 4,5 hp

I program

Examinator

Gå till kurshemsidan (Öppnas i ny flik)

Behörighet

Grundläggande behörighet för avancerad nivå
Sökande med en programregistrering på ett program där kursen ingår i programplanen undantas från ovan krav.

Särskild behörighet

Engelska 6
Sökande med en programregistrering på ett program där kursen ingår i programplanen undantas från ovan krav.

Kursspecifika förkunskaper

För behörighet till kursen krävs minst 1) en kandidatexamen i Software Engineering, Programvaruteknik, datavetenskap eller motsvarande och 2) en godkänd kurs i objektorienterad programmering, t.ex. DAT042, DAT050, DAT055, DAT170, TDA545, TDA550 eller motsvarande.
 

Syfte

Standardiserade visuella modelleringsspråk, såsom UML, tagna direkt ur lådan passar sällan en organisations behov. Att utöka modelleringsspråk med nödvändiga konstruktioner och funktioner, eller skapa kompletterande språk, kräver specialistkunskaper utöver kunskap i modellering av programvara. Syftet med kursen är att studenten ska bekanta sig med moderna tekniker och språk/notationer för att skapa, anpassa och omvandla modelleringsspråk.


Lärandemål (efter fullgjord kurs ska studenten kunna)

Kunskap och förståelse

  • förklara följande begrepp: modeller, meta, begränsningar, transformation, semantik, abstrakt och konkret syntax;
  • förklara arkitekturen av samtida modelleringsramverk
  • förklara hur domänspecifika modelleringsspråk kan realiseras inom en samtida modellering ram
  • förklara nuvarande trender i forskning om domänspecifika språk och modellering

Färdigheter och förmågor

  • konstruera domänspecifika språk, t.ex., specificera metamodels och deras syntax och semantik
  • definiera syntaktiska begränsningar genom att använda ett språk specifikt för
    begränsningar.
  • realisera metamodeller inom ett modelleringsramverk
  • konstruera modell-editering inom ett modelleringsramverk,
  • skapa modelleringsvalidering inom ett modelleringsramverk.
  • specificera modell transformationer och realisera dem inom ett modelleringsramverk
  • tillämpa domänspecifik modellering i ett autentiskt fall

Värderingsförmåga och förhållningssätt.

  • känna till ny teknik för modelldrivet arbete genom relevanta informationskällor
  • välja lämpliga modelleringsteknik för ett modelleringsverktyg problem till hands
  • föreslåg effektiva strategier och teknologier för att realisera delarna av DSL baserat på ett konkret problem

Innehåll

Standardsspråk för visuell modellering, t.ex. UML, passar ofta inte en organisations behov. Att utöka modelleringsspråk med nödvändiga konstruktioner och funktioner eller att skapa ett nytt språk, kräver specialistkunskaper utöver kunskap i programvaru-modellering. Syftet med kursen är att studenterna blir förtrogna med modern teknik och språk/notation för att  skapa, anpassa och omvandla modelleringsspråk.

Organisation

Kursen består av föreläsningar och ett projekt. Föreläsningarna introducerar varje tema; projektet utforskar teman genom utveckling av ett modelleringsverktyg. Verktyget syftar till att hantera en autentisk situation, och realiseras genom ett samtida modelleringramverk. Projektet består av veckovis iterationer, under vilken modelleringsverktyget stegvis utvecklas. Projektarbetet utförs i grupper, med stöd av en grupphandledare.

Litteratur

Brambilla, Marco, Jordi Cabot, and Manuel Wimmer. "Model-driven software engineering in practice." Synthesis Lectures on Software Engineering 1.1 (2012): 1-182.

Examination inklusive obligatoriska moment

Examinationen består av två delar: en skriftlig tentamen (4,5 hp) och ett projekt (3 hp). Den skriftliga tentamen är individuell. Projekt-examinationen baseras på resultatet av gruppens arbete.

För skriftlig tentamen används betygsskalan underkänt, 3, 4, 5.

För projektet används betygsskalan godänd och ej godkänd. Projektet betygssätts individuellt, där hänsyn tagits till gruppens resultat samt studentens individuella bidrag till gruppens arbete.

För godkänd (3) på hela kursen, krävs att både skriftlig examen och projektet har erhållit betyget godkänd. För 4 eller 5 krävs att projektet har erhållit betyget godkänd, och skriftlig tentamen har erhållit betyget 4 respektive 5.

Kursplanen innehåller ändringar

  • Ändring gjord på kurstillfälle:
    • 2020-10-30: Examinator Examinator ändrat från Mohammad Obaid (mobaid) till Thorsten Berger (bergert) av Viceprefekt/adm
      [Kurstillfälle 1]
    • 2020-10-27: Examinator Examinator ändrat från Thorsten Berger (bergert) till Mohammad Obaid (mobaid) av Prefekt
      [Kurstillfälle 1]