Zwięzły przewodnik po metodach formalnych: Teoria, podstawy i zastosowania przemysłowe

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 4 głosach.

Oryginalny tytuł:

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications

Zawartość książki:

Ten nieoceniony podręcznik/referencja zapewnia łatwy w odbiorze przewodnik po podstawach metod formalnych, podkreślając bogate zastosowania metod formalnych w różnych dziedzinach informatyki.

Tematy i funkcje: wprowadza kluczowe pojęcia w inżynierii oprogramowania, niezawodności i niezawodności oprogramowania, metodach formalnych i matematyce dyskretnej; przedstawia krótką historię logiki, od logiki sylogistycznej Arystotelesa i logiki stoików, przez logikę symboliczną Boole'a, po pracę Fregego nad logiką predykatów; obejmuje logikę propozycjonalną i predykatową, a także bardziej zaawansowane tematy, takie jak logika rozmyta, logika temporalna, logika intuicjonistyczna, wartości nieokreślone i zastosowania logiki w sztucznej inteligencji; analizuje język specyfikacji Z, Wiedeńską Metodę Rozwoju (VDM) i Irlandzką Szkołę VDM oraz ujednolicony język modelowania (UML); omawia rachunek najsłabszych warunków wstępnych Dijkstry, aksjomatyczną semantykę języków programowania Hoare'a oraz klasyczne podejście Parnasa i jego wyrażeń tabelarycznych; obejmuje teorię automatów, prawdopodobieństwo i statystykę, sprawdzanie modeli oraz naturę dowodu i dowodzenia twierdzeń; dokonuje przeglądu wybranych narzędzi dostępnych do wspierania metodystów formalnych i rozważa transfer metod formalnych do przemysłu; zawiera pytania przeglądowe i podkreśla kluczowe tematy w każdym rozdziale oraz dostarcza pomocny glosariusz na końcu książki.

Ten stymulujący przewodnik zapewnia szeroki i przystępny przegląd metod formalnych dla studentów informatyki i matematyki, którzy są ciekawi, w jaki sposób metody formalne są stosowane w dziedzinie informatyki.