- EAN13
- 9782746238107
- ISBN
- 978-2-7462-3810-7
- Éditeur
- Hermès science publications
- Date de publication
- 02/04/2013
- Collection
- INFORMATIQUE ET
- Dimensions
- 23,4 x 15,6 x 2,2 cm
- Poids
- 830 g
- Code dewey
- 005.13
- Fiches UNIMARC
- S'identifier
Mise en oeuvre de la méthode B
Dirigé par Jean-Louis Boulanger
Hermès science publications
Informatique Et
Autre version disponible
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.
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.
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
Ingénierie des exigences - Méthodes et bonnes pratiques pour construire et maintenir un référentie, Méthodes et bonnes pratiques pour construire et maintenir un référentielStéphane Badreau, Jean-Louis BoulangerDunod47,00
-
Outils de mise en oeuvre industrielle des méthodes formellesJean-Louis BoulangerHermès science publications
-
Techniques industrielles de modélisation formelle pour le transportJean-Louis BoulangerHermès science publications99,00
-
Utilisations industrielles des techniques formelles - interprétation abstraite, interprétation abstraiteJean-Louis BoulangerHermès science publications
-
Sécurisation des architectures informatiques industriellesJean-Louis BoulangerHermès science publications