Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information

Released on by BOULANGER Jean-Louis
preview-18

  • Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information Book Detail

  • Author : BOULANGER Jean-Louis
  • Release Date : 2013-04-01
  • Publisher : Lavoisier
  • Genre : B method (Computer science)
  • Pages : 434
  • ISBN 13 : 2746288109
  • File Size : 98,98 MB
DOWNLOAD BOOK

Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information by BOULANGER Jean-Louis PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.