Guida concisa ai metodi formali: Teoria, fondamenti e applicazioni industriali

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 4 voti.

Titolo originale:

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

Contenuto del libro:

Questo prezioso testo/riferimento fornisce una guida di facile lettura ai fondamenti dei metodi formali, evidenziando le ricche applicazioni dei metodi formali in una vasta gamma di settori dell'informatica.

Argomenti e caratteristiche: introduce i concetti chiave dell'ingegneria del software, dell'affidabilità del software, dei metodi formali e della matematica discreta; presenta una breve storia della logica, dalla logica sillogistica di Aristotele e la logica degli Stoici, attraverso la logica simbolica di Boole, fino al lavoro di Frege sulla logica dei predicati; tratta la logica proposizionale e dei predicati, nonché argomenti più avanzati come la logica fuzzy, la logica temporale, la logica intuizionistica, i valori indefiniti e le applicazioni della logica all'intelligenza artificiale; esamina il linguaggio di specificazione Z, il metodo di sviluppo di Vienna (VDM) e la scuola irlandese di VDM, nonché il linguaggio di modellazione unificato (UML); discute il calcolo delle precondizioni più deboli di Dijkstra, la semantica assiomatica dei linguaggi di programmazione di Hoare e l'approccio classico di Parnas e delle sue espressioni tabellari; tratta la teoria degli automi, la probabilità e la statistica, il model checking e la natura della prova e della dimostrazione dei teoremi; passa in rassegna una selezione di strumenti disponibili per supportare il metodista formale e considera il trasferimento dei metodi formali all'industria; include domande di ripasso e mette in evidenza gli argomenti chiave in ogni capitolo e fornisce un utile glossario alla fine del libro.

Questa stimolante guida fornisce una panoramica ampia e accessibile dei metodi formali per gli studenti di informatica e matematica curiosi di sapere come i metodi formali vengono applicati al campo dell'informatica.