Chargement...
Chargement...

Mise en oeuvre de la méthode B

Paru le : 02/04/2013
Éditeur(s) : Lavoisier-Hermès
Série(s) : Non précisé.
Contributeur(s) : Directeur de publication : Jean-Louis Boulanger

120,00 €
Expédié en 5 à 7 jours.
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus
0,00 €
Protection:
Acheter en numérique

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. ©Electre 2017

Quatrième de couverture

Informatique et Systèmes d'Information La mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d'analyser et de vérifier le comportement d'un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s'appuyant 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. Différents outils découlant de cette méthode ainsi que des exemples concrets d'utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l'avionique ou les systèmes manufacturiers.

Fiche Technique

Paru le : 02/04/2013

Thématique : Langages de programmation

Auteur(s) : Non précisé.

Éditeur(s) : Lavoisier-Hermès

Collection(s) : Informatique et systèmes d'information. Recherche, technologie, applications

Série(s) : Non précisé.

ISBN : 2-7462-3810-1

EAN13 : 9782746238107

Format : Non précisé.

Reliure : Relié

Pages : 420

Hauteur : 24 cm / Largeur : 16 cm

Épaisseur : 2,2 cm

Poids : 755 g