Kontraktbaseret Programmering

Denne bog er blevet til gennem undervisning i faget Kontraktbaseret Udvikling på bacheloruddannelsen i Softwareudvikling. Bogen fokuserer på konstruktion af korrekte computerprogrammer ved brug af formelle metoder. Bogen indeholder en fremstilling af matematiske værktøjer, som benyttes ved konstruktion af algoritmer. Metoderne er baseret på brug af formelle specifikationer af algoritmernes funktion samt prædikattransformeren "Den svageste Præbetingelse" (weakest precondition). Selv om man i praksis ikke ønsker at benytte formalismen, hjælper bogens metoder med til at skabe gode arbejdsformer, når man udvikler programmer. Således opnås der større sikkerhed for, at programmerne fungerer korrekt, dvs. i overensstemmelse med specifikationerne.