| Titre : | Utilisations industrielles des techniques formelles : interprétation abstraite |
| Auteurs : | Jean-Louis Boulanger, Directeur de publication |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermes science publications, impr. 2011, cop. 2011 |
| Autre Editeur : | Lavoisier |
| Collection : | Recherche. Technologie. Application |
| Sous-collection : | Informatique et systèmes d'information |
| ISBN/ISSN/EAN : | 978-2-7462-3206-8 |
| Format : | 1 vol. (414 p.) / ill., fig., graph. / 24 cm |
| Note générale : | Bibliogr.- Glossaire.- Index |
| Langues: | Français |
| Index. décimale : | 621.3 (Electrotechnique, électronique, télécommunications) |
| Catégories : | |
| Mots-clés: | Commande automatique |
| Résumé : |
Cet ouvrage présent des exemples concrets d'utilisations industrielles des techniques formelles. Ces techniques réalisent des modelés de spécification 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 œuvre des méthodes formelles comme moyen de construire un logiciel critique de sécurité. Les exemples industriels de mise en œuvre 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. |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| bst001770 | 621.39 BOU- 02 | Livre | Bibliothèque Sciences et Technologies | Sciences exactes(ch&ph&ma&in) | Consultation sur place Exclu du prêt |
| bst001769 | 621.39 BOU-02 | Livre | Bibliothèque Sciences et Technologies | Sciences exactes(ch&ph&ma&in) | Libre accès Disponible |
Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Accueil
