Nantilus
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...
Enregistré dans:
| Autres auteurs : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Utilisations industrielles des techniques formelles : interprétation abstraite / sous la direction de Jean-Louis Boulanger |
| Publié : |
Paris :
Hermes science publ.
, impr. 2011, cop. 2011 Lavoisier |
| Description matérielle : | 1 vol. (414 p.) |
| Collection : | Informatique et systèmes d'information. Recherche, technologie, applications |
| Accès en ligne : |
Sommaire et résumé disponibles sur le site de l'éditeur à l'adresse [consulté le 2013-04-09]
|
| Sujets : |
| LEADER | 03626cam a2200469 4500 | ||
|---|---|---|---|
| 001 | PPN154352225 | ||
| 003 | http://www.sudoc.fr/154352225 | ||
| 005 | 20181031133600.0 | ||
| 010 | |a 978-2-7462-3206-8 |b rel. |d 110 EUR | ||
| 020 | |a FR |b 01141958 | ||
| 021 | |a FR |b DLE-20110728-41404 | ||
| 033 | |a http://catalogue.bnf.fr/ark:/12148/cb42470921b | ||
| 035 | |a (OCoLC)762797560 | ||
| 035 | |a FRBNF424709210000003 |z FRBNF42470921 | ||
| 073 | 1 | |a 9782746232068 | |
| 100 | |a 20110826h20112011k y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a FR | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Utilisations industrielles des techniques formelles |b Texte imprimé |e interprétation abstraite |f sous la direction de Jean-Louis Boulanger | |
| 210 | |a Paris |c Hermes science publ. |c Lavoisier |d impr. 2011, cop. 2011 |e impr. en Angleterre | ||
| 215 | |a 1 vol. (414 p.) |c ill., fig., graph. |d 24 cm | ||
| 225 | 0 | |a Recherche, technologie, applications |i Informatique et systèmes d'information | |
| 339 | |a L'ouvrage présente des cas concrets d'utilisations industrielles des techniques formelles basées sur l'analyse statique comme l'interprétation abstraite. Avec des exemples détaillés d'utilisation des outils Astrée, Caveat, CodePeer, Framac ou Polyspace. ©Electre 2014 | ||
| 300 | |a Sommaire et résumé disponibles sur le site de l'éditeur à l'adresse [consulté le 2013-04-09] |u http://http://editions.lavoisier.fr/notice.asp?ouvrage=2551936 |2 lien | ||
| 320 | |a Notes bibliogr. Glossaire. Index | ||
| 330 | |a 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 | ||
| 359 | 2 | |b Chapitre 1, Techniques formelles pour la vérification et la validation |b Chapitre 2, L'analyseur statique Astrée |b Chapitre 3, Airbus : vérification formelle en avionique |b Chapitre 4, Polyspace |b Chapitre 5, Robustesse logicielle vis-à-vis de valeurs dysfonctionnelles par analyse statique |b Chapitre 6, CodePeer : au-delà de la recherche de bugs avec l'analyse statique |b Chapitre 7, Méthodes formelles et conformité au standard DO-178C/ED-12C en aéronautique |b Chapitre 8, Méthode intégrée outillée développée par Thales pour l'étude du passage en entiers et des débordements pour des composants logiciels SIL4 | |
| 410 | | | |0 151135894 |t Informatique et systèmes d'information. Recherche, technologie, applications |x 2111-0360 | |
| 606 | |3 PPN027315312 |a Commande automatique |3 PPN027551385 |x Modèles mathématiques |2 rameau | ||
| 606 | |3 PPN027758273 |a Débogage |2 rameau | ||
| 606 | |3 PPN053469844 |a Logiciels |x Vérification |2 rameau | ||
| 606 | |3 PPN050702858 |a Méthodes formelles (informatique) |2 rameau | ||
| 676 | |a 005.14 |v 22 | ||
| 702 | 1 | |3 PPN114998973 |a Boulanger |b Jean-Louis |f 1966-.... |4 651 | |
| 801 | 3 | |a FR |b Electre |c 20130329 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20150707 |g AFNOR | |
| 801 | 0 | |a FR |b FR-751131015 |c 20110713 |g AFNOR |2 intermrc | |
| 979 | |a SCI | ||
| 930 | |5 441092104:55874818X |b 441092104 |a 681.511 UTI |j u | ||
| 998 | |a 684291 | ||