Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés / Jacques Valancogne in Techniques de l'ingénieur SE, Vol. SE1 (Trimestriel)  

Public ISBD [article]  inTechniques de l'ingénieur SE > Vol. SE1 (Trimestriel) . - 22 p. Titre : Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés Type de document : texte imprimé Auteurs : Jacques Valancogne, Auteur Année de publication : 2007 Article en page(s) : 22 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Méthode B Logiciels Résumé : 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. REFERENCE : SE 2 525 Date : Janvier 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/environnement-securite-th5/ [...] [article] Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés [texte imprimé] / Jacques Valancogne, Auteur . - 2007 . - 22 p. Bibliogr. Langues : Français (fre) in Techniques de l'ingénieur SE > Vol. SE1 (Trimestriel) . - 22 p. Mots-clés : Méthode B Logiciels Résumé : 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. REFERENCE : SE 2 525 Date : Janvier 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/environnement-securite-th5/ [...]

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire