En systematisk programdesignmetode kan hjælpe udviklere med at sikre programmernes korrekthed og ydeevne, samtidig med at udviklingsomkostningerne minimeres. Denne bog beskriver en metode, der starter med en klar specifikation af en beregning og udleder en effektiv implementering ved trinvis programanalyse og transformationer. Metoden gælder for problemer, der er specificeret i imperativ databasefunktionel logik og objektorienterede programmeringssprog med forskellige datakontrol- og modulabstraktioner. Denne bog er designet til kurser eller selvstudium og indeholder adskillige øvelser og eksempler, der kræver minimal datalogisk baggrund, hvilket gør den tilgængelig for nybegyndere. Erfarne praktikere og forskere vil sætte pris på de detaljerede eksempler inden for en bred vifte af applikationsområder, herunder hardwaredesign, billedbehandling, adgangskontrol, forespørgselsoptimering og programanalyse. Den sidste del af bogen peger på retninger for fremtidige studier. Sprog: Engelsk