Udsalget slutter om
Udvidet returret til d. 31. januar 2022
Kontraktbaseret Programmering af Anker Mørk Thomsen

Kontraktbaseret Programmering - Bog

Bag om Kontraktbaseret Programmering

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. Bogen indeholder en fremstilling af matematiske værktøjer, som benyttes ved konstruktion af algoritmer. Metoderne er baseret på brug af formelle specifikationer af algoritmernes funktion samt prædikattransformeren "Den svageste Præbetingelse" (weakest precondition). Selv om man i praksis ikke ønsker at benytte formalismen, hjælper bogens metoder med til at skabe gode arbejdsformer, når man udvikler programmer. Således opnås der større sikkerhed for, at programmerne fungerer korrekt, dvs. i overensstemmelse med specifikationerne.

Vis mere
  • Sprog:
  • Dansk
  • ISBN:
  • 9788740429985
  • Indbinding:
  • Paperback
  • Sideantal:
  • 229
  • Udgivet:
  • 4. September 2020
  • Udgave:
  • 2
  • BLACK WEEK
    : :
    220,95 kr.
  • 39,95 kr.
Betal med Dankort på Tales.dkBetal med Visa eller Visa Electron på Tales.dkBetal med Mastercard på Tales.dkBetal med MobilePay på Tales.dk
  • 2-4 uger
  • 21. December 2021
Beskrivelse af Kontraktbaseret Programmering
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.
Bogen indeholder en fremstilling af matematiske værktøjer, som benyttes ved konstruktion af algoritmer. Metoderne er baseret på brug af formelle specifikationer af algoritmernes funktion samt prædikattransformeren "Den svageste Præbetingelse" (weakest precondition).
Selv om man i praksis ikke ønsker at benytte formalismen, hjælper bogens metoder med til at skabe gode arbejdsformer, når man udvikler programmer. Således opnås der større sikkerhed for, at programmerne fungerer korrekt, dvs. i overensstemmelse med specifikationerne.
Brugerbedømmelser af Kontraktbaseret Programmering


Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.