Mise en oeuvre de la méthode B

Recherche - Technologie - Apllications

Jean-Louis Boulanger - Collection Informatique et systèmes d'information

422 pages, parution le 02/04/2013

Ajouter à une liste

Indisponible

Résumé

Présentation d'un modèle, la méthode B, pour analyser et vérifier le comportement d'un logiciel. Cette méthode formelle s'appuie 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.

Avec des exemples en avionique et systèmes manufacturiers.

L'auteur - Jean-Louis Boulanger

Jean-Louis Boulanger est évaluateur indépendant de la sûreté (ISA) dans le domaine ferroviaire. Ses recherches portent sur les exigences, la vérification et la validation des logiciels, la traçabilité et les RAMS, et mettent l'accent sur la sécurité.

Autres livres de Jean-Louis Boulanger

Ingénierie des exigences

Maitriser la sécurité des systèmes programmables

Techniques industrielles de modélisation formelle pour le transport

Sécurisation des architectures informatiques

Découvrir tous les livres de Jean-Louis Boulanger

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Jean-Louis Boulanger
Collection	Informatique et systèmes d'information
Parution	02/04/2013
Nb. de pages	422
Format	16 x 23
Couverture	Broché
Poids	830g
Intérieur	Noir et Blanc
EAN13	9782746238107
ISBN13	978-2-7462-3810-7