Kontraktbaseret Programmering (Bog, Paperback, Dansk)

Af: Anker Mørk Thomsen


Nedsat pris! Kontraktbaseret Programmering
Forlag: Forlaget Thomsen
Format: Paperback
Type: Bog
Sprog: Dansk
ISBN-13: 9788740429985
Udgave: 2. (04-09-2020)
Oplagsdato: 04-09-2020
Sideantal: 229
Indbinding: Paperback
Formater / udgaver
207,50 kr
129,30 kr

Status : Print on Demand - Forvent op til 20 dages leveringstid.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Tilføj til bogliste

KATEGORIER M.M. SOM DETTE PRODUKT ER EN DEL AF

  = Emner
  = Sektioner
  = Kategorier
  = Kampagner

Beskrivelse

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.

Anmeldelser (0)