Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 4 votes.
Titre original :
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications
Contenu du livre :
Ce manuel/référence inestimable fournit un guide facile à lire sur les principes fondamentaux des méthodes formelles, mettant en évidence les riches applications des méthodes formelles dans une gamme variée de domaines de l'informatique.
Sujets et caractéristiques : présente les concepts clés du génie logiciel, de la fiabilité et de la sûreté de fonctionnement des logiciels, des méthodes formelles et des mathématiques discrètes ; présente une brève histoire de la logique, depuis la logique syllogistique d'Aristote et la logique des stoïciens, en passant par la logique symbolique de Boole, jusqu'aux travaux de Frege sur la logique des prédicats ; couvre la logique propositionnelle et la logique des prédicats, ainsi que des sujets plus avancés tels que la logique floue, la logique temporelle, la logique intuitionniste, les valeurs indéfinies et les applications de la logique à l'intelligence artificielle ; examine le langage de spécification Z, la méthode de développement de Vienne (VDM) et l'école irlandaise de VDM, ainsi que le langage de modélisation unifié (UML) ; discute du calcul des préconditions les plus faibles de Dijkstra, de la sémantique axiomatique des langages de programmation de Hoare et de l'approche classique de Parnas et de ses expressions tabulaires ; couvre la théorie des automates, les probabilités et les statistiques, le model checking et la nature de la preuve et de la démonstration des théorèmes ; passe en revue une sélection d'outils disponibles pour aider le méthodiste formel et examine le transfert des méthodes formelles à l'industrie ; inclut des questions de révision et met en évidence des sujets clés dans chaque chapitre, et fournit un glossaire utile à la fin de l'ouvrage.
Ce guide stimulant offre une vue d'ensemble large et accessible des méthodes formelles aux étudiants en informatique et en mathématiques curieux de savoir comment les méthodes formelles sont appliquées au domaine de l'informatique.
Autres informations sur le livre :
| ISBN : | 9783319640204 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2017 |
| Nombre de pages : | 322 |
Achat:
Actuellement disponible, en stock.
