Utilisations industrielles des techniques formelles : Interprétation abstraite - Cet ouvrage présente des exemples concrets d'utilisations industrielles des techniques formelles. Ces techniques réalisent des modèles de spécifications et/ou de conception et servent également à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc... Les standards des différents domaines prennent en compte la mis [....]
4.6 étoiles sur 5 de 476 Commentaires client
Ebooks ipod touch téléchargement Utilisations industrielles des techniques formelles : Interprétation abstraite by Jean-Louis Boulanger PDF 2746232065 - Cet ouvrage présente des exemples concrets d'utilisations industrielles des techniques formelles. Ces techniques réalisent des modèles de spécifications et/ou de conception et servent également à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc... Les standards des différents domaines prennent en compte la mise en oeuvre des méthodes formelles comme moyen de construire un logiciel critique de sécurité. Les exemples industriels de mise en oeuvre des techniques formelles basées sur l'analyse statique, comme l'interprétation abstraite avec des exemples d'utilisation des outils Astrée, Caveat, CodePeer, Framac ou Polyspace sont détaillés.
Détails Utilisations industrielles des techniques formelles : Interprétation abstraite
| Le Titre Du Livre | Utilisations industrielles des techniques formelles : Interprétation abstraite |
| EAN | 9782746232068 |
| Auteur | Jean-Louis Boulanger |
| ISBN-10 | 2746232065 |
| Langue | Français |
| Nombre de pages | 416 pages |
| Editeur | Hermes Science Publications |
| Catégories | Livres |
| Évaluation du client | 4.6 étoiles sur 5 de 476 Commentaires client |
| La taille du fichier | 25.07 MB |
0 komentar:
Posting Komentar