Mon compte
Ma liste - 0
Catalogue
Ressources numériques
Nouveautés
Liens utiles
Mon compte
Recherche rapide
Recherche avancée
Recherche alphabétique
Historique
Information
Recherche
Auteur
Titre
Sujet
Titre de revue
Collection
Cotes BU
Cotes ENSEA
Cotes IUFM
Modifier la recherche
>
CERGY
Elargir la recherche
Parcourir le catalogue
par auteur:
Valancogne , Jacques
Affichage MARC
Auteur :
Valancogne , Jacques
Titre :
Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés , Jacques Valancogne
Notes :
Référence de l'article : se2525
Volume : base documentaire : TIP112WEB
Publié dans : Techniques de l'ingénieur. Sécurité et gestion des risques
Date de publication : 2012/01/10
L'objectif de cet article ne vise pas à ce que le lecteur puisse tout connaître sur la méthode B ; ce serait impossible et prétentieux. The B-BOOK - Assigning Programs to Meanings de Jean-Raymond ABRIAL, l'inventeur de la méthode B, qui est à la base du langage B, possède déjà plus de 750 pages et est basé sur de nombreuses connaissances en mathématiques et en logique ; de plus, de nombreuses formations sur la méthode B existent aujourd'hui. L'objectif se limitera à donner des éclairages pour mieux porter une appréciation sur une telle méthode en essayant d'en comprendre les principaux concepts. Il n'est donc pas question de trop développer les aspects mathématiques, bien que ceux-ci soient essentiels. Le propos restera toujours assez général, en simplifiant volontairement parfois pour rester compréhensible.
URL:
https://www.techniques-ingenieur.fr/base-documentaire/environnement-securite-th5/securite-par-secteur-d-activite-et-par-technologie-42159210/methode-b-pour-la-specification-et-la-realisation-de-logiciels-et-de-systemes-critiques-prouves-se2525/
https://doi.org/10.51257/a-v1-se2525
Exemplaires
Pas de données exemplaires
Pour toute question,
contactez la bibliothèque
Horizon Information Portal 3.25_france_v1m© 2001-2019
SirsiDynix
Tous droits réservés.