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.
Vi er endnu ikke stødt på en boganmeldelse af 'Kontraktbaseret Design' i de 454 aviser, blogs og andre medier, vi har fulgt siden 2010. Men vi har fundet 107.479 andre anmeldelser af bøger.