Le stockage local semble être désactivé dans votre navigateur.
Pour une meilleure expérience sur notre site, assurez-vous d’activer le cache dans votre navigateur.

Leader de l'occasion depuis 1886

En ce moment : SOLDES JUSQU'À - 70%

Livraison à 0.01€ dès 30€ d’achats

-5% sur les livres neufs et livraison offerte avec le retrait dans nos magasins

En ce moment, livraison gratuite pour tous les coolos !

 Avantages Fidélité

 Service client

 Besoin d'aide

Leader de l'occasion depuis 1886

En ce moment : SOLDES JUSQU'À - 70%

Livraison à 0.01€ dès 30€ d’achats

-5% sur les livres neufs et livraison offerte avec le retrait dans nos magasins

En ce moment, livraison gratuite pour tous les coolos !

 Avantages Fidélité

 Service client

 Besoin d'aide

Leader de l'occasion depuis 1886

Livraison à 0.01€ dès 30€ d’achats

-5% sur les livres neufs et livraison offerte avec le retrait dans nos magasins

En ce moment, livraison gratuite pour tous les coolos !

Spécification formelle avec B

Habrias (Auteur principal)

Livre | Format : Livre | Editeur : HERMES SCIENCE PUBLICATIONS | Date de parution : 05/10/2001

Non disponible en ligne

Alerte dispo

Alerte dispo

Non disponible en ligne

Alerte dispo

Alerte dispo


Résumé

La méthode B a été élaborée par Jean-Raymond Abrial pour spécifier, concevoir et coder des systèmes logiciels. Elle est utilisée dans l'industrie, notamment dans les systèmes de sécurité, de protection et de contrôle de vitesse des trains. Cet ouvrage est une introduction à la notation B et à la méthode B. Le concept de base est celui de machine abstraite dont l'état est décrit par un invariant. La méthode consiste à prouver formellement que les opérations respectent bien l'invariant, puis à raffiner les machines abstraites en machines implantables, et à prouver que ce raffinage est correct. Le logiciel est ainsi prouvé par construction relativement à sa spécification. L'architecture du logiciel préconisée est l'architecture en couche. À partir d'exemples simples de spécifications, ce livre propose un développement complet en B. Il présente les bases mathématiques et logiques mises en oeuvre et détaille les éléments du langage B, en allant de la spécification à l'implantation.

Détails

Plus d’information
EAN 9782746203020
ISBN 2746203022
Contributeurs Habrias (Auteur principal)
Format Livre
Nombre de pages 414
Éditeur HERMES SCIENCE PUBLICATIONS
Poids 0.62 kg
Impression à la demande Non
Catégories Livres, Informatique, Techniques, Sciences et Techniques

Avis

Rédigez votre propre commentaire
Seuls les utilisateurs sauvegardés peuvent soumettre leur avis. Veuillez vous connecter ou créer un compte