Ghid concis al metodelor formale: Theory, Fundamentals and Industry Applications

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 4 voturi.

Titlul original:

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

Conținutul cărții:

Acest manual/referință de o valoare inestimabilă oferă un ghid ușor de citit pentru elementele fundamentale ale metodelor formale, subliniind aplicațiile bogate ale metodelor formale într-o gamă diversă de domenii ale informaticii.

Subiecte și caracteristici: introduce conceptele cheie în ingineria software, fiabilitatea și dependența software, metodele formale și matematica discretă; prezintă o scurtă istorie a logicii, de la logica silogistică a lui Aristotel și logica stoicilor, prin logica simbolică a lui Boole, până la munca lui Frege asupra logicii cu predicate; acoperă logica propozițională și a predicatului, precum și subiecte mai avansate, cum ar fi logica fuzzy, logica temporală, logica intuiționistă, valorile nedefinite și aplicațiile logicii la inteligența artificială; examinează limbajul de specificații Z, metoda de dezvoltare de la Viena (VDM) și școala irlandeză de VDM, precum și limbajul de modelare unificat (UML); analizează calculul celor mai slabe precondiții al lui Dijkstra, semantica axiomatică a limbajelor de programare a lui Hoare și abordarea clasică a lui Parnas și a expresiilor sale tabulare; abordează teoria automatelor, probabilitatea și statistica, verificarea modelelor și natura dovezilor și a demonstrării teoremelor; analizează o selecție de instrumente disponibile pentru sprijinirea metodistului formal și ia în considerare transferul metodelor formale în industrie; include întrebări de revizuire și evidențiază subiecte-cheie în fiecare capitol și oferă un glosar util la sfârșitul cărții.

Acest ghid stimulativ oferă o prezentare generală largă și accesibilă a metodelor formale pentru studenții de la informatică și matematică curioși să afle cum se aplică metodele formale în domeniul informaticii.