Stručný průvodce formálními metodami: Teorie, základy a aplikace v průmyslu

Recenze čtenářů

Aktuálně nejsou k dispozici žádné recenze čtenářů. Hodnocení je založeno na 4 hlasů.

Původní název:

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

Obsah knihy:

Tato neocenitelná učebnice poskytuje srozumitelného průvodce základy formálních metod a poukazuje na bohaté aplikace formálních metod v nejrůznějších oblastech výpočetní techniky.

Témata a funkce: seznamuje s klíčovými pojmy softwarového inženýrství, spolehlivosti a spolehlivosti softwaru, formálních metod a diskrétní matematiky; představuje stručnou historii logiky od Aristotelovy sylogistické logiky a logiky stoiků přes Booleovu symbolickou logiku až po Fregeho práci o predikátové logice; zahrnuje výrokovou a predikátovou logiku, jakož i pokročilejší témata, jako je fuzzy logika, temporální logika, intuicionistická logika, neurčité hodnoty a aplikace logiky v umělé inteligenci; zkoumá specifikační jazyk Z, Vídeňskou vývojovou metodu (VDM) a irskou školu VDM a jednotný modelovací jazyk (UML); probírá Dijkstrův kalkul nejslabších předpokladů, Hoareho axiomatickou sémantiku programovacích jazyků a klasický Parnasův přístup a jeho tabulkové výrazy; věnuje se teorii automatů, pravděpodobnosti a statistice, kontrole modelů a povaze důkazů a dokazování tvrzení; podává přehled vybraných nástrojů, které jsou k dispozici pro podporu formálních metodiků, a zabývá se přenosem formálních metod do průmyslu; obsahuje kontrolní otázky a upozorňuje na klíčová témata v každé kapitole a na konci knihy uvádí užitečný slovníček.

Tato podnětná příručka poskytuje široký a přístupný přehled formálních metod pro studenty informatiky a matematiky, které zajímá, jak se formální metody uplatňují v oblasti výpočetní techniky.