Kontraktbaseret udvikling
Kontraktbaseret udvikling kvalificerer dig til at anvende kontrakter i tværkulturelle globale udviklingsprojekter, og at deltage i indførelse af brug af kontrakter i udviklingsprojekter.
Du lærer at anvende kontrakter på forskellige abstraktionsniveauer og forskellige grader af formalisme i forbindelse med udvikling af store systemer. Endvidere opnår du blandt andet viden om praktisk programmering med kontrakter, fundamentale matematiske strukturer, og gyldighed og korrekthed af programmer.
Emner på faget
- Praktisk programmering med kontrakter
- Kontrakter som koordineringsmekanisme
- Kontrakter I globale udviklingsprojekter
Boglisten herunder vedrører efteråret 2011!
Du skal selv købe bøger, men først når du har modtaget bekræftelse på at faget bliver oprettet.
Se evt. www.bogpriser.dk for leveringstid og priser.
P.t. ingen bogliste
Offentliggøres senere
