Kontraktbaseret systemudvikling

Diplommodul

Udviklingen går hurtigt på it-området, og mange it-projekter er blevet så store, at det kræver samarbejde mellem (globalt) adskilte udviklingsgrupper.

Tilmeld modul

Udviklingen går hurtigt på it-området, og mange it-projekter er blevet så store, at det kræver samarbejde mellem (globalt) adskilte udviklingsgrupper.

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 får kendskab til fundamentale matematiske strukturer (mængder, multimængder, funktioner og relationer) og bevisteknikker.

Du opnår kompetencer til at:

  • udarbejde funktionelle specifikationer
  • specificere dele af et system, såvel delsystemer som 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 dig viden og færdigheder inden for softwareudvikling, som kræver viden om matematiske begreber og strukturer.
Ann-Margrethe Frydenlund Jensen
Ann-Margrethe Frydenlund Jensen Studieadministrativ medarbejder
Bo Reinholdt Glerup
Bo Reinholdt Glerup Konsulent

Dette modul er en del af

Tilmeld modul

Der er desværre ikke nogen startdatoer på dette hold i øjeblikket. Skriv dig op og få besked, når du kan tilmelde dig næste hold.

Forløb