Kontraktbaseret Design

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.

Første kapitel indeholder en præsentation af, hvorledes man udformer og udvikler specifikationer for et spilprogram samt at par almindeligt anvendte typer af moduler, der repræsenterer registre (objektsamlinger). Kapitlerne 2 til og med 6 behandler kontrakter for en række abstrakte datatyper. Derefter følger et kapitel, hvor bogen udvikler kontrakter for subtyper. I kapitlet om subtyper gennemgås Liskovs substitutionsprincip. Bogens sidste kapitel beskæftiger sig med kontrakter for et rammesystem, der realiserer designmønstret Observer.