Utilisations industrielles des techniques formelles - Interprétation abstraite PDF

Accentsonline.fr Utilisations industrielles des techniques formelles - Interprétation abstraite Image

DESCRIPTION

Téléchargez la version électronique de Utilisations industrielles des techniques formelles - Interprétation abstraite sur accentsonline.fr. Formats disponibles : Utilisations industrielles des techniques formelles - Interprétation abstraite PDF, Utilisations industrielles des techniques formelles - Interprétation abstraite ePUB, Utilisations industrielles des techniques formelles - Interprétation abstraite MOBI

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.

INFORMATION

TAILLE DU FICHIER 6,53 MB
AUTEUR Jean-Louis Boulanger
DATE DE PUBLICATION 2011-Jun-17

David Delmas - DIENS

Utilisations industrielles des techniques formelle Interprétation abstraite-Jean-Louis Boulanger-Informatique et systèmes d'information Ecrire le 1 er avis - Posez une question sur ce produit -

[Cedric]

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.

LIVRES CONNEXES
Sous Ponce Pilate
Du panier à l'assiette printemps-été - La cuisine des Paniers Marseillais
Je connais quelqu'un dont les parents divorcent
L'oracle de Lana - Guide d'accompagnement avec un jeu de 70 cartes
L'histoire d'un monde truqué
Les clés de l'Europe
Ca va la forme ? - 17 tests pour évaluer votre condition physique
Le prince qui ne savait compter que jusqu'à sept
Usinage des matériaux métalliques - BTS, IUT, CPGE, Ecoles d?ingénieurs, Formation continue
L'âme de l'Afrique - Masques et sculptures
La géopolitique - 50 fiches pour comprendre l'actualité
Serpent Dieu Tome 2
Visual Web Developer 2005 - Express Edition
Jeunes handicapés visuels
Joseph Rodriguez spanish harlem
L'hypothèse du Marrane - Le théâtre judéo-chrétien de la pensée politique
Pratique professionnelle - CAP petite enfance
Les aventures de Blake et Mortimer Tome 15