SOLDES
Jusqu'à -70% sur une sélection d'articles*
Utilisations industrielles des techniques formelles. Interprétation abstraite
Par :Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 13 novembreCet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Livraison à domicile ou en point Mondial Relay estimée à partir du 13 novembre
- Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin
- Nombre de pages416
- PrésentationBroché
- Poids0.75 kg
- Dimensions15,6 cm × 23,4 cm × 0,0 cm
- ISBN978-2-7462-3206-8
- EAN9782746232068
- Date de parution17/06/2011
- CollectionInformatique et SI
- ÉditeurHermes Science Publications
Résumé
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.
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.