A formális módszerek tömör útmutatója: Theory, Fundamentals and Industry Applications (Elmélet, alapok és ipari alkalmazások)

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 4 olvasói szavazat alapján történt.

Eredeti címe:

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

Könyv tartalma:

Ez a felbecsülhetetlen értékű tankönyv/referátum könnyen olvasható útmutatót nyújt a formális módszerek alapjaihoz, kiemelve a formális módszerek gazdag alkalmazási lehetőségeit a számítástechnika számos területén.

Témák és jellemzők: Bemutatja a szoftverfejlesztés, a szoftver megbízhatóság és megbízhatóság, a formális módszerek és a diszkrét matematika kulcsfogalmait; rövid logikatörténetet mutat be Arisztotelész szillogisztikus logikájától és a sztoikusok logikájától Boole szimbolikus logikáján keresztül Frege predikátumlogikával kapcsolatos munkájáig; kitér az állítólagos és predikátumlogikára, valamint az olyan fejlettebb témákra, mint a fuzzy logika, az időbeli logika, az intuitív logika, a meghatározatlan értékek és a logika alkalmazása a mesterséges intelligenciában; megvizsgálja a Z specifikációs nyelvet, a bécsi fejlesztési módszert (VDM) és a VDM ír iskoláját, valamint az egységes modellezési nyelvet (UML); tárgyalja Dijkstra leggyengébb előfeltételek kalkulusát, Hoare axiomatikus programozási nyelvek szemantikáját, valamint Parnas klasszikus megközelítését és táblázatos kifejezéseit; foglalkozik az automataelmélettel, a valószínűséggel és a statisztikával, a modellellenőrzéssel, valamint a bizonyítás és a tételbizonyítás természetével; áttekinti a formális módszertanosok támogatására rendelkezésre álló eszközök választékát, és megvizsgálja a formális módszerek ipari felhasználását; minden fejezetben tartalmaz áttekintő kérdéseket és kiemeli a kulcsfontosságú témákat, valamint a könyv végén hasznos szójegyzéket biztosít.

Ez az izgalmas útmutató széleskörű és közérthető áttekintést nyújt a formális módszerekről az informatika és a matematika azon hallgatói számára, akik kíváncsiak arra, hogyan alkalmazzák a formális módszereket a számítástechnika területén.