Formal Methods for Software Engineering Languages, Methods, Application Domains

Formal Methods For Software Engineering Av Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what th...... Les mer...
fra 649,-
Tilgjengelig i 2 butikker
Tilbud (2)
Produktinfo
Spesifikasjon
Pris og prishistorikk

Produktinformasjon

Oppdag Formal Methods For Software Engineering

Formal Methods For Software Engineering av Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider og Siraj Ahmed Shaikh er en banebrytende læreperiode for alle som ønsker å forstå de formelle metodene i programvareutvikling. Denne boken er skreddersydd for både master- og bachelorstudenter innen programvareteknikk, men også for forskere og praktiske ingenører som vil ha en dypere innsikt i formelle teorier og metoder.

Hva inneholder boken?

  • Grunnleggende prinsipper: Boken begynner med en forståelse av hva formelle metoder er og hvor de passer inn i programvareutvikling.
  • Logikk og prosess algebra: Du lærer om logikker som uttrykker resonnement og prosess algebra, spesielt CSP, som brukes til å representere adferd.
  • Spesifikasjon og testing: Den dekker metoder for spesifikasjon og testing av programvareutvikling basert på modelleringsspråkene CASL og UML.
  • Applikasjonsområder: Boken utforsker bruksområder innen normative dokumenter, menneske-maskin-grensesnitt, og sikkerhet.

Praktiske eksempler og ressurser

En av de unike fordelene med Formal Methods For Software Engineering er de realistiske eksemplene som illustrerer viktige konsepter. I tillegg er det en tilleggsressurs tilgjengelig på bokens kompagnonside, som tilbyr videre materiale, laboratoriekurs, og virtualiserte verktøy for praktisk erfaring.

Kompetente forfattere

Forfatterne er anerkjente akademikere med lang erfaring på området. De bidrar med sin omfattende kunnskap for å gi deg det beste grunnlaget for å mestre formelle metoder i programvareteknikk.

Med Formal Methods For Software Engineering er du på vei til å bli en mester i programvareutvikling. Så, er du klar til å ta steget mot en mer strukturert og pålitelig programvareutvikling?

Topplisten: Other Brand data og informasjonsteknologi
Her får du en oversikt over alle våre bestselgere. Dette er produktene som er mest populære blant våre kunder!

Se mer

Spesifikasjon

Produkt
Produktnavn Formal Methods for Software Engineering Languages, Methods, Application Domains
Merke Other Brand

Pris og prishistorikk

Akkurat nå er 649,- den billigste prisen for Formal Methods for Software Engineering Languages, Methods, Application Domains blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste data og informasjonsteknologi for å være sikker på at du gjør det beste kjøpet.