Kontraktbaseret Design

Bogen er blevet til gennem undervisning i faget Kontraktbaseret Udvikling på bacheloruddannelsen i Softwareudvikling. Emnet har jeg opdelt i to dele. Den første del er indeholdt i bogen "Kontraktbaseret Programmering". Denne bog er anden del, som indeholder teori om og eksempler på design af programmoduler.