Kontraktbaseret udvikling

Du lærer at anvende kontrakter på forskellige abstraktionsniveauer og med forskellige grader af formalisme i forbindelse med udvikling af store systemer. I faget får du viden om værktøjer, som understøtter kontraktbaseret programmering og design. Du for kendskab til fundamentale matematiske strukturer (mængder, multimængder, funktioner og relationer) og bevisteknikker.

Faget svarer til 10 ECTS-point.

Dit udbytte

Du opnår kompetencer til at:

  • udarbejde funktionelle specifikationer 
  • specificere dele af et system, såvel delsystemer og programmoduler 
  • anvende kontrakter på modelniveau 
  • realisere dele af et system baseret på kontrakter 
  • anvende kontrakter på forskellige abstraktions- og formaliseringsniveauer og håndtere sammenhæng og transformation 
  • udarbejde kontrakter udtrykt i prædikatslogik 
  • anvende kontrakter til verifikation af programelementer 
  • anvende kontrakter som en integreret del af udviklingsprocessen 
  • anvende kontrakter ved opdeling, koordinering og samling af større systemer 
  • vurdere, hvilken grad af formalisme der er hensigtsmæssig i forskellige sammenhænge 
  • anvende kontrakter i tværkulturelle globale udviklingsprojekter 
  • deltage i indførelse af brug af kontrakter i udviklingsprojekter 
  • tilegne sig viden og færdigheder inden for softwareudvikling, som kræver viden om matematiske begreber og strukturer.