Een systematische programmaontwerpmethode kan ontwikkelaars helpen de juistheid en prestaties van programma's te waarborgen en tegelijkertijd de ontwikkelingskosten te minimaliseren. Dit boek beschrijft een methode die begint met een duidelijke specificatie van een berekening en leidt tot een efficiënte implementatie door stapsgewijze programma-analyse en transformaties. De methode is van toepassing op problemen die zijn gespecificeerd in imperatieve databasefunctionele logica en objectgeoriënteerde programmeertalen met verschillende gegevenscontrole en module-abstracties. Dit boek is ontworpen voor cursussen of zelfstudie en bevat tal van oefeningen en voorbeelden die een minimale informatica-achtergrond vereisen, waardoor het toegankelijk is voor beginners. Ervaren beoefenaars en onderzoekers zullen de gedetailleerde voorbeelden waarderen in een breed scala aan toepassingsgebieden, waaronder hardwareontwerp, beeldverwerking, toegangscontrole, query-optimalisatie en programma-analyse. Het laatste deel van het boek geeft richtingen aan voor toekomstige studies. Taal: Engels