Téléchargez le livre : Mise en oeuvre de la méthode B

Mise en oeuvre de la méthode B

de

Éditeur :

Hermés science


Collection :

Traité RTA

Paru le : 2013-04-02

eBook Téléchargement ebook sans DRM
Lecture en ligne (streaming)
126,60 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
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.
Pages
420 pages
Collection
Traité RTA
Parution
2013-04-02
Marque
Hermés science
EAN papier
9782746238107
EAN PDF SANS DRM
9782746288102
Informations sur l'ebook
Prix
126,60 €

Suggestions personnalisées