Concise Guide to Formal Methods, 1st ed. 2017 Theory, Fundamentals and Industry Applications Undergraduate Topics in Computer Science Series
Auteur : O'Regan Gerard
This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing.
Software Engineering.- Software Reliability and Dependability.- Overview of Formal Methods.- Sets, Relations and Functions.- A Short History of Logic.- Propositional and Predicate Logic.- Advanced Topics in Logic.- Z Formal Specification Language.- Vienna Development Method.- Irish School of VDM.- Unified Modelling Language.- Dijkstra, Hoare and Parnas.- Automata Theory.- Model Checking.- The Nature of Theorem Proving.- Probability and Statistics.- Industrial Tools for Formal Methods.- Technology Transfer to Industry.- Epilogue.
Date de parution : 08-2017
Ouvrage de 322 p.
15.5x23.5 cm