chargement

Mise en oeuvre de la méthode B

éditeur : Hermes Science Publications
date de publication :
délai de livraison : Immédiat (à partir de la date de publication)

PDF

Digital watermarking
120,00 €
Lecture multi-support

Résumé

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.

Lire la suite...

Commentaires des lecteurs

9782746288102
- / 5
  5
  4
  3
  2
  1

Informations

Titre Mise en oeuvre de la méthode B
Auteurs ,
Editeur Hermes Science Publications
Collection Traité RTA, série Informatique et Systèmes d'Information
Langue FR
Date de publication 02/04/2013
Nombre de pages 420

Droits numériques

Ean PDF 9782746288102
Type de protection Digital watermarking
Ean papier 9782746238107
Haut