Softwareprogrammer er formelle enheder med præcise betydninger uafhængigt af deres programmører, så overgangen fra ideer til programmer indebærer nødvendigvis en formalisering på et tidspunkt. Den første del af denne introduktion til formelle metoder på kandidatniveau udvikler en forståelse af, hvad der udgør formelle metoder, og hvad deres plads er i Software Engineering. Den introducerer også logikker som sprog til at beskrive ræsonnement og procesalgebraen CSP som et sprog til at repræsentere adfærd. Anden del tilbyder specifikations- og testmetoder til formel udvikling af software baseret på modelleringssprogene CASL og UML. Den tredje del tager læseren med ind i anvendelsesdomænerne for normative dokumenter, menneske-maskine-grænseflader og sikkerhed.ampnbsp Brugen af notationer og formalisme er ensartet gennem hele bogen. Emner og funktioner Forklarer grundlaget og introducerer specifikationsverifikations- og testmetoder Udforsker forskellige applikationsdomæner Præsenterer realistiske og praktiske eksempler, der illustrerer koncepter Samler bidrag fra meget erfarne undervisere og forskere Tilbyder modellerings- og analysemetoder til formel udvikling af software Velegnet til kandidat- og bachelorkurser i softwareudvikling denne unikke praktiske lærebog vil også være af værdi for studerende i informatik samt for forskere og praktiske ingeniørerampnbsp, der ønsker at lære om eller arbejde mere effektivt med formelle teorier og metoder. Markus Roggenbachampnbspis, professor ved afdelingen for datalogi ved Swansea University.ampnbspAntonio Ceroneampnbspis, lektor ved afdelingen for datalogi ved Nazarbayev University, NurSultan.ampnbspBerndHolger Schlingloffampnbspis, professor ved Institut fr Informatik ved HumboldtUniversitt zu Berlin.ampnbspGerardo Schneiderampnbspis, professor ved Institut for Datalogi og Ingeniørvidenskab ved Göteborgs Universitet.ampnbspSiraj Ahmed Shaikhampnbspis a