Ecouter
.jpeg)
.jpeg)
.jpeg)
.jpeg)
.jpeg)
.jpeg)
Librairie Bon Pasteur
est en ligne
| Produit | Quantité | Supprimé |
|---|
Rupture de stock de cet article
SPECIFICATION FORMELLE AVEC B
88200 FCFA
7100 FCFA
♥Gain: 10 FCFA
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. A 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 œuvre et détaille les éléments du langage B, en allant de la spécification à l'implantation.
| Si vous commandez au minimum une quantité de 0 de cet article, vous gagnerez une remise de 0% sur cette commande. | |
|
Quantité |
|
Catégorie:
les livres universitaires
Partager ce produit :