Diplommodul
Er du interesseret i anvendelse af kontrakter i forbindelse med udvikling af store systemer? Med Kontraktbaseret udvikling bliver du klædt på til at anvende kontrakter på forskellige abstraktionsniveauer i forbindelse med udvikling af store systemer.
Se datoerMed værktøjer, som understøtter kontraktbaseret programmering og design, lærer du at udarbejde kontrakter udtrykt i prædikatslogik, som du bl.a. kan anvende i tværkulturelle globale udviklingsprojekter.
Du bliver fortrolig med at anvende kontrakter som en integreret del af udviklingsprocessen og at anvende kontrakter ved opdeling, koordinering og samling af større systemer.
Du får viden om:
Du bliver i stand til at udarbejde funktionelle specifikationer, så du kan realisere dele af et system baseret på kontrakter samt anvende kontrakterne på forskellige abstraktions- og formaliseringsniveauer.
Efter Kontraktbaseret udvikling kan du:
Modulet hører under diplomuddannelsen i Softwareudvikling, og kan tages som en del af den fulde diplomuddannelse eller som et enkeltfag. Kontraktbaseret udvikling er et valgfrit modul.
Diplommodulet er til dig, som er interesseret i softwareudvikling, hvor du vil lære mere om kontraktbaseret programmering.
Du kan læse meget mere om vores kommende forløb, tidspunkter for holdopstart, sted, eksamen, pris og tilmeldingsfrist her.