Mise en oeuvre de la méthode B
Recherche - Technologie - Apllications
Jean-Louis Boulanger - Collection Informatique et systèmes d'information
Résumé
Présentation d'un modèle, la méthode B, pour analyser et vérifier le comportement d'un logiciel. Cette méthode formelle s'appuie sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code.
Avec des exemples en avionique et systèmes manufacturiers.
L'auteur - Jean-Louis Boulanger
Jean-Louis Boulanger est évaluateur indépendant de la sûreté (ISA) dans le domaine ferroviaire. Ses recherches portent sur les exigences, la vérification et la validation des logiciels, la traçabilité et les RAMS, et mettent l'accent sur la sécurité.
Autres livres de Jean-Louis Boulanger
Caractéristiques techniques
| PAPIER | NUMERIQUE | |
| Éditeur(s) | Hermès - Lavoisier | |
| Auteur(s) | Jean-Louis Boulanger | |
| Collection | Informatique et systèmes d'information | |
| Parution | 02/04/2013 | 02/04/2013 |
| Nb. de pages | 422 | 420 |
| Format | 16 x 23 | - |
| Couverture | Broché | - |
| Poids | 830g | - |
| Intérieur | Noir et Blanc | - |
| Contenu | - |
PDF |
| EAN13 | 9782746238107 |
9782746288102 |
| ISBN13 | 978-2-7462-3810-7 | - |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
